added morh_result, the_inductive, add_inductive_global; removed get_inductive; more careful treatment of result naming/morphing;
added morh_result, the_inductive, add_inductive_global;
removed get_inductive;
more careful treatment of result naming/morphing;

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