added add_locale_context(_i), which returns the body context for presentation; note_thmss(_i), add_thmss: returns context for presentation; removed map_attrib_specs/facts (cf. Attrib.map_specs/facts);
added add_locale_context(_i), which returns the body context for presentation;
note_thmss(_i), add_thmss: returns context for presentation;
removed map_attrib_specs/facts (cf. Attrib.map_specs/facts);

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