src/HOL/Polynomial.thy
2009-01-11 huffman 2009-01-11 new theory of polynomials