-
Robbert Krebbers authored
Add lemmas for creating later credits for non-pure steps (alternative) See merge request !1036
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 !1036