doc-src/ZF/ZF.tex
2003-09-23 paulson 2003-09-23 case_tac tweak
2003-08-20 paulson 2003-08-20 finished conversion to Isar format
2003-08-19 paulson 2003-08-19 partial conversion to Isar format
2000-09-05 paulson 2000-09-05 simplified two index entries, since now ZF is by itself
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-12 paulson 2000-08-12 documented the integers and updated section on nat arithmetic
2000-02-16 paulson 2000-02-16 fixed some overfull lines
1999-05-28 wenzelm 1999-05-28 tuned manual.bib;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-02-03 paulson 1999-02-03 documented typecheck_tac, etc
1999-01-19 paulson 1999-01-19 freeness reasoning: T.free_iffs
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases
1999-01-13 paulson 1999-01-13 the separate FOL and ZF logics manual, with new material on datatypes and inductive definitions