removed further remains of mutable theory data (cf. 25bd3ed2ac9f);
removed further remains of mutable theory data (cf. 25bd3ed2ac9f);

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