| Sun, 11 Sep 1994 10:59:09 +0200 | nipkow | Added primrec section. | file | diff | annotate |
| Fri, 09 Sep 1994 11:45:44 +0200 | lcp | Logics/HOL: Section 3, added Pow and its rule. New sections 6 on the | file | diff | annotate |
| Wed, 31 Aug 1994 17:34:12 +0200 | nipkow | Updated datatype documentation with a few hints | file | diff | annotate |
| Wed, 13 Jul 1994 10:13:52 +0200 | lcp | indentation and renaming of rules | file | diff | annotate |
| Tue, 12 Jul 1994 12:49:15 +0200 | nipkow | Corrected HOL.tex | file | diff | annotate |
| Tue, 12 Jul 1994 09:28:00 +0200 | nipkow | added datatype section | file | diff | annotate |
| Thu, 07 Jul 1994 19:47:34 +0200 | nipkow | added () around some of the :: | file | diff | annotate |