src/HOL/Library/Polynomial.thy
Thu, 16 Apr 2009 10:11:34 +0200 haftmann tightended specification of class semiring_div
Fri, 27 Mar 2009 10:05:11 +0100 haftmann normalized imports
Wed, 04 Mar 2009 17:12:23 -0800 huffman declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
Fri, 27 Feb 2009 15:37:56 -0800 huffman make list-style polynomial syntax work when show_sorts is on
Mon, 23 Feb 2009 07:19:53 -0800 huffman add lemmas poly_{div,mod}_minus_{left,right}
Wed, 18 Feb 2009 20:14:45 -0800 huffman move Polynomial.thy to Library
less more (0) tip