Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
algebra
cmra.v
Find file
Blame
History
Permalink
Remove anonymous Type fields from camera structures.
· 6ef0253d
Robbert Krebbers
authored
Sep 30, 2020
These were already removed from the OFE and BI structures, but were left here.
6ef0253d