Thu, 28 May 2009 23:03:12 -0700 | huffman | LIMSEQ_def -> LIMSEQ_iff | file | diff | annotate |
Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | file | diff | annotate |
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 |