| 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 |