| Tue, 03 Aug 1999 13:05:54 +0200 | paulson | \underscoreoff needed because of \underscoreon in previous file | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Fri, 08 Jan 1999 14:02:04 +0100 | paulson | removal of FOL, ZF to a separate manual | file | diff | annotate |
| Thu, 16 Jul 1998 11:50:01 +0200 | paulson | Got rid of obsolete "goal" commands. | file | diff | annotate |
| Wed, 07 May 1997 18:35:56 +0200 | wenzelm | fixed caption font; | file | diff | annotate |
| Wed, 07 May 1997 17:16:36 +0200 | paulson | stylistic improvements | file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Tue, 28 Mar 1995 10:24:45 +0200 | lcp | Corrected faulty reference to Hindley-Milner type inference | file | diff | annotate |
| Fri, 22 Apr 1994 18:43:49 +0200 | lcp | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 12:54:22 +0200 | lcp | penultimate Springer draft | file | diff | annotate |
| Sat, 19 Mar 1994 03:01:25 +0100 | lcp | First draft of Springer book | file | diff | annotate |
| Thu, 25 Nov 1993 15:15:53 +0100 | wenzelm | corrected obvious errors; | file | diff | annotate |
| Fri, 12 Nov 1993 10:41:13 +0100 | lcp | Misc updates | file | diff | annotate |
| Thu, 11 Nov 1993 13:18:49 +0100 | lcp | Various updates for Isabelle-93 | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |