src/HOL/Library/Polynomial.thy
2009-04-22 haftmann 2009-04-22 power operation defined generic
2009-04-16 haftmann 2009-04-16 tightended specification of class semiring_div
2009-03-27 haftmann 2009-03-27 normalized imports
2009-03-04 huffman 2009-03-04 declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
2009-02-27 huffman 2009-02-27 make list-style polynomial syntax work when show_sorts is on
2009-02-23 huffman 2009-02-23 add lemmas poly_{div,mod}_minus_{left,right}
2009-02-18 huffman 2009-02-18 move Polynomial.thy to Library