| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 17 Mar 1999 13:56:29 +0100 | wenzelm | axclass_tac lost an argument; | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Mon, 27 Oct 1997 15:29:01 +0100 | wenzelm | Isa94-2 instead of Isa95; | file | diff | annotate |
| Mon, 12 May 1997 17:53:36 +0200 | wenzelm | Tutorial on Axiomatic Type Classes; | file | diff | annotate |