Wed, 18 Feb 2009 09:47:58 -0800 | huffman | move polynomial order stuff from Fundamental_Theorem_Algebra to Polynomial | file | diff | annotate |
Thu, 12 Feb 2009 18:14:43 +0100 | nipkow | Moved FTA into Lib and cleaned it up a little. | file | diff | annotate | base |