| Wed, 04 Mar 2009 17:12:23 -0800 | huffman | declare power_Suc [simp]; remove redundant type-specific versions of power_Suc | file | diff | annotate |
| Fri, 27 Feb 2009 15:37:56 -0800 | huffman | make list-style polynomial syntax work when show_sorts is on | file | diff | annotate |
| Mon, 23 Feb 2009 07:19:53 -0800 | huffman | add lemmas poly_{div,mod}_minus_{left,right} | file | diff | annotate |
| Wed, 18 Feb 2009 20:14:45 -0800 | huffman | move Polynomial.thy to Library | file | diff | annotate | base |