| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Thu, 29 Jul 2004 12:15:53 +0200 | paulson | documents for ZF-AC and ZF-Constructible | file | diff | annotate |
| Tue, 19 Nov 2002 10:41:20 +0100 | paulson | stylistic tweaks | file | diff | annotate |
| Tue, 03 Sep 2002 18:43:15 +0200 | paulson | fixed the typesetting | file | diff | annotate |
| Wed, 28 Aug 2002 13:08:34 +0200 | paulson | completion of the consistency proof for AC | file | diff | annotate |
| Sun, 28 Jul 2002 21:09:37 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Tue, 09 Jul 2002 15:39:44 +0200 | paulson | More relativization, reflection and proofs of separation | file | diff | annotate |
| Thu, 04 Jul 2002 15:03:03 +0200 | wenzelm | document setup; | file | diff | annotate |