Skip to content
GitLab
Explore
Sign in
Marianna Rapoport
iris-coq
Repository
iris-coq
theories
algebra
ofe.v
Find file
Blame
History
Permalink
Move the `iprod` CMRA definition into `cmra.v`.
· c93ee508
Robbert Krebbers
authored
Nov 23, 2017
In same spirit as the other 'primitive' types like `option`, `prod`, ...
c93ee508