| Thu, 23 Jul 2009 22:25:09 +0200 | chaieb | fixed proof --- fact_setprod removed for fact_altdef_nat | changeset | files |
| Thu, 23 Jul 2009 21:13:21 +0200 | chaieb | merged | changeset | files |
| Thu, 23 Jul 2009 21:12:57 +0200 | chaieb | Vandermonde vs Pochhammer; Hypergeometric series - very basic facts | changeset | files |
| Thu, 23 Jul 2009 21:12:57 +0200 | chaieb | More theorems about pochhammer | changeset | files |
| Wed, 15 Jul 2009 16:31:44 +0200 | chaieb | Moved theorem binomial_symmetric from Formal_Power_Series to here | changeset | files |
| Wed, 15 Jul 2009 06:14:25 +0200 | chaieb | Moved important theorems from FPS_Examples to FPS --- they are not | changeset | files |
| Thu, 23 Jul 2009 23:13:37 +0200 | wenzelm | removed obsolete ML proof tools; | changeset | files |