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