Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
algebra
sts.v
Find file
Blame
History
Permalink
Revert "turn canonical structures that don't have any instances into plain records"
· 0bde28f7
Ralf Jung
authored
Feb 23, 2016
This reverts commit
7266d16b
0bde28f7