Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
world_prop.v
Find file
Blame
History
Permalink
Simplified definitions by taking UPreds over option T, where T is a
· 5517602d
Filip Sieczkowski
authored
May 28, 2014
carrier of the monoid. This now corresponds exactly to the formulation of monoids in rose.v
5517602d