interpretation_in_locale: standalone goal setup; moved theorem statements to bottom;
interpretation_in_locale: standalone goal setup;
moved theorem statements to bottom;

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