| Fri, 30 Jan 2009 13:41:45 +0000 | chaieb | Fixed theory name | changeset | files |
| Fri, 30 Jan 2009 13:24:23 +0000 | chaieb | Added Formal_Power_Series_Examples to HOL-ex image | changeset | files |
| Fri, 30 Jan 2009 13:24:23 +0000 | chaieb | Some applications of formal power Series | changeset | files |