src/ZF/Constructible/Internalize.thy
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2012-03-06 paulson 2012-03-06 More mathematical symbols for ZF examples
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 tuned specifications;
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-08 paulson 2002-11-08 Polishing. lambda_abs2 doesn't need an instance of replacement various renamings & restructurings
2002-10-18 paulson 2002-10-18 Tidying up. New primitives is_iterates and is_iterates_fm.
2002-10-17 paulson 2002-10-17 Cosmetic changes suggested by writing the paper. Deleted some redundant arity proofs
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-08-16 paulson 2002-08-16 Various tweaks of the presentation
2002-08-16 paulson 2002-08-16 Relativized right up to L satisfies V=L!
2002-08-15 paulson 2002-08-15 Relativization and absoluteness for DPow!!
2002-08-13 paulson 2002-08-13 In ZF/Constructible, moved many results from Satisfies_absolute, etc., to the new theory Internalize.thy