--- a/src/HOL/Complex_Main.thy Wed Feb 11 11:22:42 2009 -0800 +++ b/src/HOL/Complex_Main.thy Thu Feb 12 18:14:43 2009 +0100 @@ -4,7 +4,7 @@ imports Main Real - Fundamental_Theorem_Algebra + Complex Log Ln Taylor