Fri, 08 Aug 2008 15:36:40 +0200 | krauss | clean up dead code | changeset | files |
Fri, 08 Aug 2008 13:36:44 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Fri, 08 Aug 2008 09:44:16 +0200 | krauss | FundefLib.try_proof : attempt a proof and see if it works | changeset | files |