| Sun, 27 Mar 1994 16:43:06 +0200 | nipkow | Added some sums. | file | diff | annotate |
| Wed, 23 Feb 1994 10:05:35 +0100 | nipkow | some more sorting algorithms | file | diff | annotate |
| Mon, 24 Jan 1994 15:59:44 +0100 | nipkow | added qsort | file | diff | annotate |
| Tue, 09 Nov 1993 13:30:13 +0100 | clasohm | renamed meson-test.ML to mesontest.ML, | file | diff | annotate |
| Tue, 09 Nov 1993 11:08:13 +0100 | lcp | co-induction example courtesy Jacob Frost | file | diff | annotate |
| Sun, 17 Oct 1993 17:33:40 +0100 | clasohm | renamed: hol-rec.* to rec.*, lex-prod.* to lexprod.*, prop-log.* to pl.* | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |