class(_i): mimic Locale.add_locale(_i); 'class': begin_local_theory;
class(_i): mimic Locale.add_locale(_i);
'class': begin_local_theory;

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