src/HOL/Algebra/poly/Polynomial.thy

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

(*
    Summary theory of the development of (not instantiated) polynomials
    $Id$
    Author: Clemens Ballarin, started 17 July 1997
*)

theory Polynomial
imports LongDiv
begin

end