| 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 |
| Fri, 17 Sep 1993 12:53:53 +0200 | lcp | test commit | changeset | files |
| Thu, 16 Sep 1993 17:41:10 +0200 | nipkow | added header | changeset | files |