
diff -r dc38e79f5a1c -r 9e585e99b494 src/HOL/Complex/Complex_Main.thy
--- a/src/HOL/Complex/Complex_Main.thy	Fri Jul 11 09:02:22 2008 +0200
+++ b/src/HOL/Complex/Complex_Main.thy	Fri Jul 11 09:02:23 2008 +0200
@@ -8,7 +8,7 @@
 
 theory Complex_Main
 imports
-  Main
+  "../Main"
   Fundamental_Theorem_Algebra
   "../Hyperreal/Log"
   "../Hyperreal/Ln"




