Name.context already declares empty names; tune ins_sorts -- sort assigments should never change later;
Name.context already declares empty names;
tune ins_sorts -- sort assigments should never change later;

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