-
Paolo G. Giarrusso authored
Suggestion from Gregory Malecha, forall lemmas suggested by Robbert & Ralf, proof scripts from me.
To find the state of this project's repository at the time of any of these versions, check out the tags.
Suggestion from Gregory Malecha, forall lemmas suggested by Robbert & Ralf, proof scripts from me.