| Fri, 02 May 1997 16:18:49 +0200 | Updated to LaTeX 2e | file | diff | annotate |
| Tue, 28 Mar 1995 10:24:45 +0200 | Corrected faulty reference to Hindley-Milner type inference | file | diff | annotate |
| Fri, 22 Apr 1994 18:43:49 +0200 | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 12:54:22 +0200 | penultimate Springer draft | file | diff | annotate |
| Sat, 19 Mar 1994 03:01:25 +0100 | First draft of Springer book | file | diff | annotate |
| Thu, 25 Nov 1993 15:15:53 +0100 | corrected obvious errors; | file | diff | annotate |
| Fri, 12 Nov 1993 10:41:13 +0100 | Misc updates | file | diff | annotate |
| Thu, 11 Nov 1993 13:18:49 +0100 | Various updates for Isabelle-93 | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | Initial revision | file | diff | annotate |