src/HOL/main.ML

--- a/src/HOL/main.ML	Wed Dec 10 17:19:25 2008 +0100
+++ b/src/HOL/main.ML	Thu Dec 11 18:30:26 2008 +0100
@@ -4,4 +4,5 @@
 Classical Higher-order Logic -- only "Main".
 *)
 
+set new_locales;
 use_thy "Main";