isabelle: doc-src/IsarRef/Thy/ROOT-ZF.ML@119c2901304c (annotated)

37216 3165bc303f66 modernized some structure names, keeping a few legacy aliases; wenzelm parents: 32833 diff changeset	1	Unsynchronized.set Thy_Output.source;
26840 ec46381f149d added logic-specific sessions; wenzelm parents: diff changeset	2	use "../../antiquote_setup.ML";
26844 46b6306c181e enabled ThyOutput.source option by default; wenzelm parents: 26840 diff changeset	3
26840 ec46381f149d added logic-specific sessions; wenzelm parents: diff changeset	4	use_thy "ZF_Specific";