swap declaration of thm/axm names to accomodate change in name space treatment;
swap declaration of thm/axm names to accomodate change in name space
treatment;

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