Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
Iris
Repository
iris
lib
recdom
PCM.v
Find file
Blame
History
Permalink
Propositions are now uniform predicates over monoid elements (not 0);
· 0de5b6a9
Filip Sieczkowski
authored
Jun 03, 2014
definitions pushed through, some lemmas commented out for now.
0de5b6a9