Thu, 09 Jul 2009 22:02:24 +0200 | wenzelm | recovered some proofs broken in 0314441a53a6; | file | diff | annotate |
Thu, 09 Jul 2009 10:34:51 +0200 | chaieb | FPS form a metric space, which justifies the infinte sum notation | file | diff | annotate |
Thu, 28 May 2009 13:52:13 -0700 | huffman | use class field_char_0 | file | diff | annotate |
Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | file | diff | annotate |
Fri, 27 Mar 2009 17:35:21 +0000 | chaieb | fixed proof | file | diff | annotate |
Fri, 30 Jan 2009 13:41:45 +0000 | chaieb | Fixed theory name | file | diff | annotate |
Fri, 30 Jan 2009 13:24:23 +0000 | chaieb | Some applications of formal power Series | file | diff | annotate |