doc-src/ZF/ZF.tex
Fri, 21 Nov 2008 15:54:53 +0100 paulson Added a line that was missing from the definition
Tue, 23 Sep 2003 15:44:25 +0200 paulson case_tac tweak
Wed, 20 Aug 2003 13:05:22 +0200 paulson finished conversion to Isar format
Tue, 19 Aug 2003 18:45:48 +0200 paulson partial conversion to Isar format
Tue, 05 Sep 2000 10:12:20 +0200 paulson simplified two index entries, since now ZF is by itself
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Sat, 12 Aug 2000 21:42:51 +0200 paulson documented the integers and updated section on nat arithmetic
Wed, 16 Feb 2000 10:51:23 +0100 paulson fixed some overfull lines
Fri, 28 May 1999 11:42:07 +0200 wenzelm tuned manual.bib;
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Wed, 03 Feb 1999 14:02:49 +0100 paulson documented typecheck_tac, etc
Tue, 19 Jan 1999 12:56:27 +0100 paulson freeness reasoning: T.free_iffs
Tue, 19 Jan 1999 11:18:11 +0100 paulson removal of the (thm list) argument of mk_cases
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