simplified thy_deps using Theory.ancestors_of (in order of creation);
simplified thy_deps using Theory.ancestors_of (in order of creation);

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