src/Doc/Logics_ZF/ZF_Isar.thy
2017-04-09 wenzelm 2017-04-09 clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485