
diff -r ee8572f3bb57 -r 6d4cb27ed19c src/HOL/Complex_Main.thy
--- 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




