doc-src/ZF/Makefile
Tue, 18 May 1999 12:34:42 +0200 paulson ../manual.bib a new dependency
Mon, 10 May 1999 17:44:17 +0200 wenzelm tuned;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Wed, 05 May 1999 18:13:56 +0200 wenzelm improved Makefile;
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