| Mon, 25 Feb 2008 11:27:05 +0100 | chaieb | Includes the derivates of polynomials -- reals specific content of Poly | changeset | files |
| Mon, 25 Feb 2008 11:27:03 +0100 | chaieb | Two simple theorems about cmod moved to Complex.thy | changeset | files |
| Mon, 25 Feb 2008 11:27:02 +0100 | chaieb | Now imports Funamental_Theorem_Algebra | changeset | files |
| Mon, 25 Feb 2008 11:27:00 +0100 | chaieb | Added trivial theorems aboud cmod | changeset | files |
| Mon, 25 Feb 2008 11:26:59 +0100 | chaieb | Included theories Library/Univ_Poly.thy and Complex/Fundamental_Theorem_Algebra.thy ; Theory Hyperreal/Poly.thy Removed | changeset | files |
| Fri, 22 Feb 2008 16:48:36 +0100 | krauss | removed dead code; some cleanup | changeset | files |
| Fri, 22 Feb 2008 16:31:37 +0100 | haftmann | non-operative code antiquotation | changeset | files |
| Fri, 22 Feb 2008 12:01:57 +0100 | haftmann | non-operative code antiquotation | changeset | files |