| Sat, 05 Dec 2015 16:09:41 +0100 | switched from Isabelle2014 to Isabelle2015, intermediate state | file | diff | annotate |
| Fri, 17 Aug 2012 11:23:57 +0200 | tuned; | file | diff | annotate |
| Wed, 12 May 2010 13:54:49 +0200 | removed obsolete CVS Ids; | file | diff | annotate |
| Thu, 17 Jul 2008 17:01:54 +0200 | tuned; | file | diff | annotate |
| Thu, 20 Feb 1997 15:28:18 +0100 | some administrative tools for the Isabelle; | file | diff | annotate |