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 |