Added functions arities_of, params_of, partition_rules, and infer_intro_vars (from inductive_realizer.ML).
Added functions arities_of, params_of, partition_rules, and
infer_intro_vars (from inductive_realizer.ML).

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