--- a/src/HOL/plain.ML Fri Dec 19 15:05:37 2008 +0100 +++ b/src/HOL/plain.ML Fri Dec 19 16:39:23 2008 +0100 @@ -3,5 +3,4 @@ Classical Higher-order Logic -- plain Tool bootstrap. *) -set new_locales; use_thy "Plain";