src/ZF/Constructible/AC_in_L.thy
Thu, 22 Mar 2012 17:52:50 +0000 paulson more structured proofs
Thu, 22 Mar 2012 16:41:22 +0000 paulson New Message
Wed, 21 Mar 2012 15:43:02 +0000 paulson refinements to constructibility
Wed, 14 Mar 2012 12:39:04 +0000 paulson rationalising the induction rule trans_induct3
Tue, 06 Mar 2012 17:01:37 +0000 paulson More mathematical symbols for ZF examples
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Tue, 07 Nov 2006 19:40:13 +0100 wenzelm tuned specifications;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 28 Aug 2003 01:56:40 +0200 skalberg Extended the notion of letter and digit, such that now one may use greek,
Fri, 08 Nov 2002 10:34:40 +0100 paulson Polishing.
Fri, 01 Nov 2002 17:44:26 +0100 paulson proof streamlining
Wed, 09 Oct 2002 11:07:13 +0200 paulson Re-organization of Constructible theories
Tue, 01 Oct 2002 13:26:10 +0200 paulson Numerous cosmetic changes, prompted by the new simplifier
Thu, 29 Aug 2002 11:15:36 +0200 paulson fixed a name clash
Wed, 28 Aug 2002 13:08:34 +0200 paulson completion of the consistency proof for AC
less more (0) tip