export multi_theorem(_i), locale_multi_theorem(_i);
export multi_theorem(_i), locale_multi_theorem(_i);

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