added has_name_hint; name_thm: more careful pre-naming;
added has_name_hint;
name_thm: more careful pre-naming;

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