src/HOL/Library/Fundamental_Theorem_Algebra.thy
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.