Thu, 29 Jan 2009 14:56:29 +0000 | chaieb | A formalization of formal power series | changeset | files |
Thu, 29 Jan 2009 14:56:28 +0000 | chaieb | Inserted Formal_Power_Series.thy under Library | changeset | files |
Thu, 29 Jan 2009 12:24:00 +0000 | paulson | Automated merge with ssh://paulson@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |