Thu, 08 Aug 2019 12:11:40 +0200 | wenzelm | prefer named lemmas -- more compact proofterms; | changeset | files |
Thu, 08 Aug 2019 11:40:42 +0200 | wenzelm | tuned whitespace -- slightly more readable; | changeset | files |
Thu, 08 Aug 2019 11:25:29 +0200 | wenzelm | clarified signature: fewer warnings in ML IDE; | changeset | files |