removed Local_Theory.theory_result by using local Typedef.add_typedef
removed Local_Theory.theory_result by using local Typedef.add_typedef

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