moved mk_defpair to logic.ML; moved get_def to thm.ML; moved require_thy to theory.ML;
moved mk_defpair to logic.ML;
moved get_def to thm.ML;
moved require_thy to theory.ML;

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