| Fri, 24 Sep 1993 11:13:55 +0200 | lcp | Added ex_ex1I: new introduction rule for the EX! quantifier. | changeset | files |
| Fri, 24 Sep 1993 10:52:55 +0200 | lcp | Added MRS, MRL from ZF/ROOT.ML. These support forward proof, resolving a | changeset | files |
| Tue, 21 Sep 1993 11:16:19 +0200 | lcp | This commit should not have been necessary. For some reason, the previous | changeset | files |
| Mon, 20 Sep 1993 18:39:45 +0200 | lcp | make-all now has set +e so that New Jersey runs will continue even if some | changeset | files |
| Mon, 20 Sep 1993 17:02:11 +0200 | lcp | Installation of new simplfier. Previously appeared to set up the old | changeset | files |
| Fri, 17 Sep 1993 16:52:10 +0200 | lcp | Installation of new simplifier for ZF/ex. The hom_ss example in misc.ML is | changeset | files |
| Fri, 17 Sep 1993 16:16:38 +0200 | lcp | Installation of new simplifier for ZF. Deleted all congruence rules not | changeset | files |