-
Robbert Krebbers authored
Add lemmas for creating later credits for non-pure steps (alternative) See merge request iris/iris!1036
1e05b260
To find the state of this project's repository at the time of any of these versions, check out the tags.
Add lemmas for creating later credits for non-pure steps (alternative) See merge request iris/iris!1036