isabelle update -u control_cartouches;

clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;

--HG--
rename : src/ZF/Main_ZF.thy => src/ZF/ZF.thy
rename : src/ZF/Main_ZFC.thy => src/ZF/ZFC.thy
rename : src/ZF/ZF.thy => src/ZF/ZF_Base.thy

isabelle update_cartouches -c -t;

isabelle update_cartouches;

modernized header;

removed old CVS Ids;
tuned headers;

migrated theory headers to new format

tuned document sources;

converted datatype examples moved from ZF/ex to ZF/Induct;