src/HOL/Polynomial.thy
2009-01-12 huffman 2009-01-12 add lemmas degree_{add,diff}_less
2009-01-11 huffman 2009-01-11 new theory of polynomials