add_abbrev: removed Assumption.add_assms (danger of inconsistent naming);
add_abbrev: removed Assumption.add_assms (danger of inconsistent naming);

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