--- a/src/HOL/Complex_Main.thy Mon Dec 29 13:23:53 2008 +0100
+++ b/src/HOL/Complex_Main.thy Mon Dec 29 14:08:08 2008 +0100
@@ -9,7 +9,7 @@
imports
Main
Real
- "~~/src/HOL/Complex/Fundamental_Theorem_Algebra"
+ Fundamental_Theorem_Algebra
Log
Ln
Taylor