name_thm etc.: pass position; note_thms etc.: Name.binding, report fact_decl;
name_thm etc.: pass position;
note_thms etc.: Name.binding, report fact_decl;

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