Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
base_logic
lib
auth.v
Find file
Blame
History
Permalink
Use ε for CMRA unit.
· b51af294
Robbert Krebbers
authored
Sep 17, 2017
For obsolete reasons, that no longer seem to apply, we used ∅ as the unit.
b51af294