src/HOL/plain.ML
changeset 29234 60f7fb56f8cd
parent 27368 9f90ac19e32b
child 29249 4dc278c8dc59
     1.1 --- a/src/HOL/plain.ML	Sun Dec 14 18:45:51 2008 +0100
     1.2 +++ b/src/HOL/plain.ML	Mon Dec 15 18:12:52 2008 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      HOL/plain.ML
     1.5 -    ID:         $Id$
     1.6   
     1.7  Classical Higher-order Logic -- plain Tool bootstrap.
     1.8  *)
     1.9  
    1.10 +set new_locales;
    1.11  use_thy "Plain";