* ML/Isar: theory setup has type (theory -> theory);
* ML/Isar: theory setup has type (theory -> theory);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle