| 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 |
| Thu, 08 Aug 2019 10:50:23 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 07 Aug 2019 18:23:32 +0200 | wenzelm | prefer named lemmas -- more compact proofterms; | changeset | files |
| Wed, 07 Aug 2019 17:43:48 +0200 | wenzelm | more compact proofterms; | changeset | files |
| Wed, 07 Aug 2019 17:00:07 +0200 | wenzelm | eliminated pointless comments; | changeset | files |