renamed goals.ML to old_goals.ML; inline Drule.impose_hyps;
renamed goals.ML to old_goals.ML;
inline Drule.impose_hyps;

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