src/ZF/Constructible/Rank_Separation.thy
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
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-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-10-30 paulson 2002-10-30 simpler separation/replacement proofs
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories