src/ZF/Constructible/DPow_absolute.thy
Wed, 21 Mar 2012 15:43:02 +0000 paulson refinements to constructibility
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;
Tue, 20 Jun 2006 15:53:44 +0200 ballarin Restructured locales with predicates: import is now an interpretation.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 06 Feb 2003 11:01:05 +0100 paulson changed ** to ## to avoid conflict with new comment syntax
Fri, 01 Nov 2002 17:44:26 +0100 paulson proof streamlining
Wed, 30 Oct 2002 12:44:18 +0100 paulson simpler separation/replacement proofs
Fri, 18 Oct 2002 17:50:13 +0200 paulson Tidying up. New primitives is_iterates and is_iterates_fm.
Wed, 09 Oct 2002 11:07:13 +0200 paulson Re-organization of Constructible theories
Wed, 11 Sep 2002 16:55:37 +0200 paulson Streamlined proofs of instances of Separation
Fri, 16 Aug 2002 16:41:48 +0200 paulson Relativized right up to L satisfies V=L!
Fri, 16 Aug 2002 12:48:49 +0200 paulson Tidying up
Thu, 15 Aug 2002 21:36:26 +0200 paulson Relativization and absoluteness for DPow!!
less more (0) tip