init: include view; swapped Toplevel.theory_context; removed obsolete smart_note_thmss; moved note_thmss_qualified to PureThy; unified code of note_thmss(_i), add_thmss, locale_results;
init: include view;
swapped Toplevel.theory_context;
removed obsolete smart_note_thmss;
moved note_thmss_qualified to PureThy;
unified code of note_thmss(_i), add_thmss, locale_results;

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