src/ZF/AC.thy
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-15 paulson 2002-05-15 better simplification of trivial existential equalities
2002-05-10 paulson 2002-05-10 converted the AC branch to Isar
1998-12-28 paulson 1998-12-28 new inductive, datatype and primrec packages, etc.
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF
1996-02-06 clasohm 1996-02-06 expanded tabs
1994-07-26 lcp 1994-07-26 Axiom of choice, cardinality results, etc.