
diff -r bff3fcdeecd3 -r 3314057c3b57 src/HOL/Complex/Complex_Main.thy
--- a/src/HOL/Complex/Complex_Main.thy	Wed May 16 09:45:22 2007 +0200
+++ b/src/HOL/Complex/Complex_Main.thy	Wed May 16 23:03:45 2007 +0200
@@ -7,7 +7,7 @@
 header{*Comprehensive Complex Theory*}
 
 theory Complex_Main
-imports CLim "../Hyperreal/HLog"
+imports CLim "../Hyperreal/Hyperreal"
 begin
 
 end




