dropped idle local_facts argument; factored out theory_abbrev and locale_abbrev
dropped idle local_facts argument; factored out theory_abbrev and locale_abbrev

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