--- 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