src/HOL/plain.ML

--- a/src/HOL/plain.ML	Sun Dec 14 18:45:51 2008 +0100
+++ b/src/HOL/plain.ML	Mon Dec 15 18:12:52 2008 +0100
@@ -1,7 +1,7 @@
 (*  Title:      HOL/plain.ML
-    ID:         $Id$
  
 Classical Higher-order Logic -- plain Tool bootstrap.
 *)
 
+set new_locales;
 use_thy "Plain";