NameSpace.base_name ~> Long_Name.base_name
NameSpace.base_name ~> Long_Name.base_name

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