doc-src/ZF/logics-ZF.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-26 paulson 2000-05-26 updated acknowledgements
2000-05-08 wenzelm 2000-05-08 improved indexing;
2000-02-16 paulson 2000-02-16 a smaller point size reduces the number of overfull figures
1999-10-12 wenzelm 1999-10-12 a4paper;
1999-09-03 wenzelm 1999-09-03 fixed usepackage;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-05-04 wenzelm 1999-05-04 isabelle_zf image;
1999-01-13 paulson 1999-01-13 the separate FOL and ZF logics manual, with new material on datatypes and inductive definitions