| Fri, 09 Aug 2019 17:14:49 +0200 | wenzelm | formal position for PThm nodes; | changeset | files |
| Fri, 09 Aug 2019 15:58:26 +0200 | wenzelm | clarified ML types; | changeset | files |
| Fri, 09 Aug 2019 10:30:54 +0200 | wenzelm | proper treatment of body oracles, outside of recursion into thms graph; | changeset | files |
| Thu, 08 Aug 2019 12:18:27 +0200 | wenzelm | prefer named lemmas -- more compact proofterms; | changeset | files |