src/ZF/Constructible/DPow_absolute.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 tuned specifications;
2006-06-20 ballarin 2006-06-20 Restructured locales with predicates: import is now an interpretation. New method intro_locales.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-02-06 paulson 2003-02-06 changed ** to ## to avoid conflict with new comment syntax
2002-11-01 paulson 2002-11-01 proof streamlining
2002-10-30 paulson 2002-10-30 simpler separation/replacement proofs
2002-10-18 paulson 2002-10-18 Tidying up. New primitives is_iterates and is_iterates_fm.
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-09-11 paulson 2002-09-11 Streamlined proofs of instances of Separation
2002-08-16 paulson 2002-08-16 Relativized right up to L satisfies V=L!
2002-08-16 paulson 2002-08-16 Tidying up
2002-08-15 paulson 2002-08-15 Relativization and absoluteness for DPow!!