| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 28 Aug 2003 01:56:40 +0200 | skalberg | Extended the notion of letter and digit, such that now one may use greek, | file | diff | annotate |
| Fri, 10 May 2002 22:53:53 +0200 | paulson | conversion of AC branch to Isar | file | diff | annotate |
| Sat, 29 Dec 2001 18:36:12 +0100 | wenzelm | tuned document sources; | file | diff | annotate |
| Wed, 19 Dec 2001 11:13:27 +0100 | paulson | separation of the AC part of Main into Main_ZFC, plus a few new lemmas | file | diff | annotate |
| Fri, 16 Nov 2001 22:11:19 +0100 | wenzelm | Ntree and Brouwer converted and moved to ZF/Induct; | file | diff | annotate |