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 |