src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Tue Jul 01 07:13:45 2008 +0200
+++ b/src/HOL/ROOT.ML	Tue Jul 01 07:58:17 2008 +0200
@@ -4,4 +4,4 @@
 Classical Higher-order Logic -- batteries included.
 *)
 
-use_thy "Main";
+use_thy "Complex/Complex_Main";