| Sat, 14 Feb 2009 11:32:35 -0800 | huffman | fix spelling | file | diff | annotate |
| Sat, 14 Feb 2009 11:11:30 -0800 | huffman | declare fps_nth as a typedef morphism; clean up instance proofs | file | diff | annotate |
| Fri, 13 Feb 2009 14:45:10 -0800 | huffman | section -> subsection | file | diff | annotate |
| Thu, 29 Jan 2009 22:29:44 +0100 | berghofe | Enclosed name containing _'s in @{text ...} antiquotation to make document | file | diff | annotate |
| Thu, 29 Jan 2009 15:29:41 +0000 | chaieb | removed definition of funpow , reusing that of Relation_Power | file | diff | annotate |
| Thu, 29 Jan 2009 14:56:29 +0000 | chaieb | A formalization of formal power series | file | diff | annotate |