require_thy: read_text *after* checking parents
(otherwise outdating an existing descendant will leave the dependencies corrupted);
Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions