src/ZF/AC/Cardinal_aux.thy
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2002-01-21 paulson 2002-01-21 lexical tidying
2002-01-16 paulson 2002-01-16 Isar version of AC
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF
1995-07-26 lcp 1995-07-26 Many small changes to make proofs run faster
1995-07-25 lcp 1995-07-25 Numerous small improvements by KG and LCP