| Thu, 27 Sep 2001 18:56:39 +0200 | prepared for Isabelle2001; | file | diff | annotate |
| Tue, 13 Feb 2001 16:31:18 +0100 | tuned; | file | diff | annotate |
| Tue, 13 Feb 2001 16:05:56 +0100 | swapped Fleuriot and Paulson | file | diff | annotate |
| Mon, 05 Feb 2001 14:31:49 +0100 | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 17:35:58 +0200 | final tuning; | file | diff | annotate |
| Fri, 06 Oct 2000 17:22:15 +0200 | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 17:21:46 +0200 | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 17:18:35 +0200 | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 16:11:53 +0200 | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 15:15:19 +0200 | draft for 99-1; | file | diff | annotate |
| Mon, 11 Sep 2000 20:41:58 +0200 | template; | file | diff | annotate |