src/HOL/Complex/Complex_Main.thy
2003-05-08 paulson 2003-05-08 new theory Complex_Main as basis for analysis developments