| 2019-08-08 | wenzelm | prefer named lemmas -- more compact proofterms; | changeset | files |
| 2019-08-08 | wenzelm | tuned whitespace -- slightly more readable; | changeset | files |
| 2019-08-08 | wenzelm | clarified signature: fewer warnings in ML IDE; | changeset | files |
| 2019-08-08 | wenzelm | tuned; | changeset | files |
| 2019-08-07 | wenzelm | prefer named lemmas -- more compact proofterms; | changeset | files |
| 2019-08-07 | wenzelm | more compact proofterms; | changeset | files |
| 2019-08-07 | wenzelm | eliminated pointless comments; | changeset | files |
| Loading... | |||