src/HOL/ZF/Zet.thy
2011-11-30 wenzelm 2011-11-30 prefer typedef without extra definition and alternative name; tuned proofs;
2011-08-02 krauss 2011-08-02 eliminated obsolete recdef/wfrec related declarations
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-03-02 krauss 2010-03-02 removed obsolete helper theory
2010-03-02 krauss 2010-03-02 killed more recdefs
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-22 nipkow 2009-10-22 inv_onto -> inv_into
2009-10-18 nipkow 2009-10-18 Inv -> inv_onto, inv abbr. inv_onto UNIV.
2007-05-11 wenzelm 2007-05-11 tuned proofs;
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.