Fri, 30 Jan 2009 12:48:56 +0000 | chaieb | moved upwards in thy graph, real related theorems moved to Transcendental.thy | changeset | files |
Thu, 29 Jan 2009 22:29:44 +0100 | berghofe | Enclosed name containing _'s in @{text ...} antiquotation to make document | changeset | files |
Thu, 29 Jan 2009 22:28:03 +0100 | berghofe | Added strong congruence rule for UN. | changeset | files |
Thu, 29 Jan 2009 22:27:07 +0100 | berghofe | Added abs_def attribute. | changeset | files |
Thu, 29 Jan 2009 15:29:41 +0000 | chaieb | removed definition of funpow , reusing that of Relation_Power | changeset | files |
Thu, 29 Jan 2009 14:56:29 +0000 | chaieb | Added Formal_Power_Series in imports | changeset | files |
Thu, 29 Jan 2009 14:56:29 +0000 | chaieb | A formalization of formal power series | changeset | files |