begin_theory: simplified interface, keep thy info empty until end_theory;
begin_theory: simplified interface, keep thy info empty until end_theory;

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