removed obsolete theory_of_sign, theory_of_thm; Context.draftN; Context.begin_theory;
removed obsolete theory_of_sign, theory_of_thm;
Context.draftN;
Context.begin_theory;

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