Mon, 21 Jul 2008 13:36:59 +0200 | chaieb | Tuned and simplified proofs | file | diff | annotate |
Wed, 09 Jul 2008 22:33:35 +0200 | huffman | remove redundant lemmas about cmod | file | diff | annotate |
Wed, 02 Jul 2008 19:52:57 +0200 | huffman | section -> subsection | file | diff | annotate |
Tue, 10 Jun 2008 15:30:59 +0200 | haftmann | whitespace tuning | file | diff | annotate |
Wed, 27 Feb 2008 15:35:42 +0100 | chaieb | Fixed dependencies for proofs -- ferrack needed | file | diff | annotate |
Mon, 25 Feb 2008 17:49:43 +0100 | wenzelm | fixed document; | file | diff | annotate |
Mon, 25 Feb 2008 11:27:25 +0100 | chaieb | A proof a the fundamental theorem of algebra | file | diff | annotate |