| Fri, 18 Nov 1994 13:14:23 +0100 | Chnaged simplifier description (lhss) | file | diff | annotate |
| Fri, 11 Nov 1994 10:31:51 +0100 | argument swaps in HOL | file | diff | annotate |
| Thu, 15 Sep 1994 13:13:54 +0200 | now mentions that the sections are available as | file | diff | annotate |
| Sun, 11 Sep 1994 12:52:00 +0200 | Added primrec section | file | diff | annotate |
| Fri, 09 Sep 1994 13:10:09 +0200 | now in a format that could be published | file | diff | annotate |
| Thu, 04 Aug 1994 11:45:59 +0200 | addition of show_brackets | file | diff | annotate |
| Wed, 27 Jul 1994 19:04:21 +0200 | logics update | file | diff | annotate |
| Mon, 18 Jul 1994 12:24:35 +0200 | *** empty log message *** | file | diff | annotate |
| Mon, 11 Jul 1994 17:50:34 +0200 | type constraints | file | diff | annotate |
| Mon, 11 Jul 1994 16:47:20 +0200 | New errata list for the documentation | file | diff | annotate |