src/HOL/ZF/MainZF.thy
2012-03-01 haftmann 2012-03-01 tuned whitespace
2010-03-01 wenzelm 2010-03-01 tuned final whitespace;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.