doc-src/ZF/logics-ZF.tex
Wed, 16 Feb 2000 10:50:57 +0100 paulson a smaller point size reduces the number of overfull figures
Tue, 12 Oct 1999 19:14:06 +0200 wenzelm a4paper;
Fri, 03 Sep 1999 16:11:03 +0200 wenzelm fixed usepackage;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Tue, 04 May 1999 17:59:55 +0200 wenzelm isabelle_zf image;
Wed, 13 Jan 1999 16:36:36 +0100 paulson the separate FOL and ZF logics manual, with new material on datatypes and
less more (0) tip