| Thu, 08 Dec 2005 20:15:50 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 17 Sep 2005 14:02:31 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Thu, 25 Aug 2005 16:17:40 +0200 | berghofe | Put quotation marks around some occurrences of "file", since it is now | file | diff | annotate |
| Fri, 01 Jul 2005 22:37:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 28 Sep 2004 13:56:46 +0200 | ballarin | Changes in "includes". | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |