doc-src/ZF/FOL.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-02-16 paulson 2000-02-16 fixed some overfull lines
1999-01-13 paulson 1999-01-13 the separate FOL and ZF logics manual, with new material on datatypes and inductive definitions