src/ZF/Main.thy
Tue, 05 Nov 2002 15:51:18 +0100 paulson new operator transrec3
Fri, 19 Jul 2002 13:28:19 +0200 paulson A couple of new theorems for Constructible
Sun, 14 Jul 2002 15:14:43 +0200 paulson improved presentation markup
Wed, 05 Jun 2002 15:34:55 +0200 paulson Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
Fri, 17 May 2002 16:54:25 +0200 paulson New theorems from Constructible, and moving some Isar material from Main
Mon, 21 Jan 2002 11:25:45 +0100 paulson lexical tidying
Wed, 16 Jan 2002 17:52:06 +0100 paulson Isar version of AC
Tue, 08 Jan 2002 16:09:09 +0100 paulson Added some simprules proofs.
Thu, 03 Jan 2002 17:01:59 +0100 paulson Some new theorems for ordinals
Wed, 19 Dec 2001 11:13:27 +0100 paulson separation of the AC part of Main into Main_ZFC, plus a few new lemmas
Sat, 08 Dec 2001 17:25:45 +0100 wenzelm new-style theory;
Fri, 11 Aug 2000 13:27:17 +0200 paulson new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
Thu, 10 Aug 2000 11:27:34 +0200 paulson installation of cancellation simprocs for the integers
Wed, 28 Jun 2000 10:58:06 +0200 paulson finally theory Bin (the integers) is included
Tue, 22 Sep 1998 15:23:39 +0200 paulson deleted erroneous semicolon
Fri, 17 Jul 1998 11:13:59 +0200 paulson as in HOL
less more (0) tip