Up to index of Isabelle/HOL/HOL-Algebra
(* Author: Clemens Ballarin, started 17 July 1997Summary theory of the development of (not instantiated) polynomials.*)theory Polynomialimports LongDivbeginend