| Mon, 25 Jun 2007 15:19:34 +0200 | nipkow | removed redundant lemma | file | diff | annotate |
| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Thu, 07 Jun 2007 02:34:37 +0200 | huffman | tuned | file | diff | annotate |
| Tue, 05 Jun 2007 16:32:16 +0200 | chaieb | Polynomials now only depend on Deriv; Definition of degree changed | file | diff | annotate |
| Wed, 16 May 2007 23:03:45 +0200 | huffman | minimize imports | file | diff | annotate |
| Thu, 26 Apr 2007 14:24:08 +0200 | wenzelm | eliminated unnamed infixes, tuned syntax; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |