| Thu, 01 Sep 2011 16:58:03 +0200 | wenzelm | modernized theory name; | file | diff | annotate |
| Sun, 15 Nov 2009 15:14:02 +0100 | wenzelm | more accurate dependencies; | file | diff | annotate |
| Sun, 15 Nov 2009 13:06:07 +0100 | schirmer | added benchmark for large records | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Thu, 28 Sep 2000 14:34:49 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 27 Aug 1999 10:48:47 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |