src/HOL/ZF/Zet.thy
2007-05-11 wenzelm 2007-05-11 tuned proofs;
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.