Mon, 31 Oct 1994 17:09:10 +0100 | lcp | FOL/ROOT/FOL_dup_cs: removed as obsolete | changeset | files |
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 |