| Mon, 25 Feb 2008 11:27:07 +0100 | chaieb | Does not import Poly anymore | changeset | files |
| 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 |