Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
proofmode
class_instances.v
Find file
Blame
History
Permalink
More consistent naming, e.g. bare_later -> later_bare_2.
· 2ca5469a
Robbert Krebbers
authored
Aug 31, 2017
(All the later lemmas are now prefixed by later_, and dito for laterN, and except_0).
2ca5469a