src/HOL/base.ML

--- a/src/HOL/base.ML	Wed Apr 15 15:38:30 2009 +0200
+++ b/src/HOL/base.ML	Wed Apr 15 15:52:37 2009 +0200
@@ -1,2 +1,2 @@
 (*side-entry for HOL-Base*)
-use_thy "Code_Setup";
+use_thy "HOL";