Mon, 06 May 1996 15:19:50 +0200 | berghofe | Rewrote mk_cntxt_splitthm. Added function mk_case_split_inside_tac. | changeset | files |
Mon, 06 May 1996 10:44:43 +0200 | paulson | Updated timings; more theorems can be proved | changeset | files |
Mon, 06 May 1996 10:39:54 +0200 | paulson | Now mentions but does not load mesontest2.ML | changeset | files |
Fri, 03 May 1996 17:40:05 +0200 | paulson | updated comments for handling derivations | changeset | files |
Fri, 03 May 1996 17:35:13 +0200 | paulson | Extra examples for safe_meson_tac | changeset | files |
Thu, 02 May 1996 12:00:37 +0200 | paulson | Restored a proof of Pelletier #38 -- mysteriously deleted | changeset | files |
Thu, 02 May 1996 10:20:15 +0200 | nipkow | Added note on types. | changeset | files |