-
Robbert Krebbers authored
Make `_iff` and `_alter` lemmas for invariants consistent, and add `_iff` lemma for locks See merge request iris/iris!414
0ccaa796
To find the state of this project's repository at the time of any of these versions, check out the tags.