src/ZF/ZFC.thy
2017-04-09 wenzelm 2017-04-09 clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;