Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
CHANGELOG.md
Find file
Blame
History
Permalink
Rename `big_sep{L,L2,M,M2,S}_intuitionistically_forall` and `big_orL_lookup` to `big_*_intro`
· e48bc41b
Ralf Jung
authored
May 26, 2021
also add `wand_entails'`, which was used in some earlier version of these proofs
e48bc41b
To find the state of this project's repository at the time of any of these versions, check out
the tags
.