src/ZF/AC/AC16_lemmas.thy
2008-07-25 haftmann dropped locale (open)
2005-06-17 haftmann migrated theory headers to new format
2002-07-10 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
2002-01-21 paulson lexical tidying
2002-01-16 paulson Isar version of AC
1997-01-03 paulson Implicit simpsets and clasets for FOL and ZF
1995-07-25 lcp Numerous small improvements by KG and LCP
less more (0) tip