| Fri, 22 Oct 1993 13:43:45 +0100 | clasohm | added -h 15000 for Poly/ML in Makefile, | file | diff | annotate |
| Mon, 11 Oct 1993 13:58:22 +0100 | clasohm | renamed ordinal.* to ord.* | file | diff | annotate |
| Wed, 06 Oct 1993 14:19:39 +0100 | clasohm | changed "list-fn" to "listfn" | file | diff | annotate |
| Thu, 30 Sep 1993 10:10:21 +0100 | lcp | ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext | file | diff | annotate |
| Fri, 17 Sep 1993 16:16:38 +0200 | lcp | Installation of new simplifier for ZF. Deleted all congruence rules not | file | diff | annotate |
| Fri, 17 Sep 1993 12:53:53 +0200 | lcp | test commit | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |