| Fri, 22 Jul 2011 17:09:35 +0200 | restore Isabelle setup | file | diff | annotate |
| Tue, 19 Jul 2011 10:44:27 +0200 | intermed: presentation | file | diff | annotate |
| Sat, 14 Nov 2009 18:36:05 +0100 | eliminated obsolete CVS Ids; | file | diff | annotate |
| Tue, 30 Oct 2007 10:51:35 +0100 | split library index into templates | file | diff | annotate |