src/ZF/Cardinal_AC.thy
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.