| Thu, 12 Mar 2009 08:57:03 -0700 | huffman | remove trailing spaces | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Mon, 02 Mar 2009 12:33:12 +0000 | chaieb | Moved a few theorems about monotonic sequences from Fundamental_Theorem_Algebra to SEQ.thy | file | diff | annotate |
| 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 |