| 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 |