Mon, 31 Oct 1994 16:45:19 +0100 | lcp | FOL/ex/cla: proofs now use deepen_tac instead of best_tac FOL_dup_cs | changeset | files |
Mon, 31 Oct 1994 16:39:20 +0100 | lcp | ZF/ZF/ex1_functional: moved to FOL/ROOT | changeset | files |
Mon, 31 Oct 1994 15:49:58 +0100 | lcp | Miniscope conversoin; example of formula rewriting | changeset | files |
Mon, 31 Oct 1994 15:45:54 +0100 | lcp | ZF/OrderArith/thin: deleted as obsolete | changeset | files |
Mon, 31 Oct 1994 15:41:20 +0100 | lcp | added final newline | changeset | files |
Mon, 31 Oct 1994 15:35:43 +0100 | lcp | added header files; deleted commented-out code | changeset | files |
Fri, 28 Oct 1994 10:13:16 +0100 | nipkow | Prepared the code for preservation of bound var names during rewriting. Still | changeset | files |