removed "more" sort; refer to properly named theorems internally;
removed "more" sort;
refer to properly named theorems internally;

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