src/HOL/Complex/Complex_Main.thy
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