src/HOL/Complex/Complex_Main.thy
2008-02-25 chaieb 2008-02-25 Now imports Funamental_Theorem_Algebra
2007-05-16 huffman 2007-05-16 minimize imports
2007-04-13 huffman 2007-04-13 minimize imports
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2003-05-08 paulson 2003-05-08 new theory Complex_Main as basis for analysis developments