src/ZF/Constructible/AC_in_L.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-22 paulson 2012-03-22 more structured proofs
2012-03-22 paulson 2012-03-22 New Message
2012-03-21 paulson 2012-03-21 refinements to constructibility
2012-03-14 paulson 2012-03-14 rationalising the induction rule trans_induct3
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-08-28 skalberg 2003-08-28 Extended the notion of letter and digit, such that now one may use greek, gothic, euler, or calligraphic letters as normal letters.
2002-11-08 paulson 2002-11-08 Polishing. lambda_abs2 doesn't need an instance of replacement various renamings & restructurings
2002-11-01 paulson 2002-11-01 proof streamlining
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-10-01 paulson 2002-10-01 Numerous cosmetic changes, prompted by the new simplifier
2002-08-29 paulson 2002-08-29 fixed a name clash
2002-08-28 paulson 2002-08-28 completion of the consistency proof for AC