* Pure/Isar: Toplevel.theory_theory_to_proof;
* Pure/Isar: Toplevel.theory_theory_to_proof;

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