src/HOL/Library/Fundamental_Theorem_Algebra.thy
2010-05-23 webertj 2010-05-23 Typo fixed.
2010-05-17 huffman 2010-05-17 simplify proof
2010-05-09 huffman 2010-05-09 avoid using real-specific versions of generic lemmas
2010-01-10 berghofe 2010-01-10 Adapted to changes in induct method.
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-08-31 nipkow 2009-08-31 tuned the simp rules for Int involving insert and intervals.
2009-05-28 huffman 2009-05-28 LIMSEQ_def -> LIMSEQ_iff
2009-04-29 haftmann 2009-04-29 farewell to class recpower
2009-03-12 huffman 2009-03-12 remove trailing spaces
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-02 chaieb 2009-03-02 Moved a few theorems about monotonic sequences from Fundamental_Theorem_Algebra to SEQ.thy
2009-02-18 huffman 2009-02-18 move polynomial order stuff from Fundamental_Theorem_Algebra to Polynomial
2009-02-12 nipkow 2009-02-12 Moved FTA into Lib and cleaned it up a little.