uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values);
uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values);

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