doc-src/ZF/Makefile
1999-01-13 paulson 1999-01-13 the separate FOL and ZF logics manual, with new material on datatypes and inductive definitions