theorem(_i): locale atts; global_goal, finish_global: proper treatment of target locale;
theorem(_i): locale atts;
global_goal, finish_global: proper treatment of target locale;

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