| Mon, 03 Dec 2001 20:59:29 +0100 | wenzelm | \renewcommand{\isasymzero}, \renewcommand{\isasymone}; | file | diff | annotate |
| Sun, 15 Oct 2000 19:51:19 +0200 | wenzelm | fixed \isasyminv; | file | diff | annotate |
| Thu, 12 Oct 2000 17:39:47 +0200 | wenzelm | tuned syms; | file | diff | annotate |
| Tue, 03 Oct 2000 18:55:23 +0200 | wenzelm | major cleanup -- improved typesetting; | file | diff | annotate |
| Mon, 22 May 2000 11:56:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 21 May 2000 21:48:39 +0200 | wenzelm | new Isar version; | file | diff | annotate |
| Sun, 21 May 2000 01:12:00 +0200 | wenzelm | snapshot of new Isar'ized version; | file | diff | annotate |
| 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 |