doc-src/ZF/Makefile
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2003-08-20 paulson 2003-08-20 final tweaks for Isar version
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-08 wenzelm 2000-05-08 improved indexing;
1999-05-18 paulson 1999-05-18 ../manual.bib a new dependency
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
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