--- a/src/HOL/Complex_Main.thy Thu Dec 04 14:17:36 2008 +0100 +++ b/src/HOL/Complex_Main.thy Wed Dec 10 10:23:47 2008 +0100 @@ -8,7 +8,6 @@ theory Complex_Main imports Main - ContNotDenum Real "~~/src/HOL/Complex/Fundamental_Theorem_Algebra" Log