src/ZF/Constructible/document/root.tex
2004-07-29 paulson 2004-07-29 documents for ZF-AC and ZF-Constructible
2002-11-19 paulson 2002-11-19 stylistic tweaks
2002-09-03 paulson 2002-09-03 fixed the typesetting
2002-08-28 paulson 2002-08-28 completion of the consistency proof for AC
2002-07-28 wenzelm 2002-07-28 tuned document;
2002-07-09 paulson 2002-07-09 More relativization, reflection and proofs of separation
2002-07-04 wenzelm 2002-07-04 document setup;