src/ZF/Cardinal_AC.thy
2015-12-30 wenzelm 2015-12-30 clarified syntax;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-10-10 wenzelm 2015-10-10 tuned syntax -- more symbols;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2012-03-21 paulson 2012-03-21 More structured proofs for infinite cardinalities
2012-03-20 paulson 2012-03-20 proof tidying
2012-03-16 paulson 2012-03-16 Structured transfinite induction proofs
2012-03-15 paulson 2012-03-15 beautification and structured proofs
2012-03-06 paulson 2012-03-06 Using mathematical notation for <-> and cardinal arithmetic
2012-03-06 paulson 2012-03-06 mathematical symbols instead of ASCII
2012-03-01 paulson 2012-03-01 Removal of obsolete ML bindings
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-05-27 paulson 2003-05-27 updating ZF-UNITY with Sidi's new material
2003-01-23 paulson 2003-01-23 tidying (by script)
2002-10-01 paulson 2002-10-01 Numerous cosmetic changes, prompted by the new simplifier
2002-07-14 paulson 2002-07-14 improved presentation markup
2002-07-09 paulson 2002-07-09 better document preparation
2002-07-02 paulson 2002-07-02 Tidying and introduction of various new theorems
2002-05-10 paulson 2002-05-10 converted the AC branch to Isar
1996-02-06 clasohm 1996-02-06 expanded tabs
1994-07-26 lcp 1994-07-26 Axiom of choice, cardinality results, etc.