| 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 |
| Fri, 30 Jan 2009 12:48:57 +0000 | chaieb | Added real related theorems from Fact.thy | changeset | files |
| Fri, 30 Jan 2009 12:48:56 +0000 | chaieb | Added a formalization of generalized raising Factorials (Pochhammer's symbol) and binomial coefficients | changeset | files |
| 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 |