src/ZF/ROOT.ML
changeset 29223 e09c53289830
parent 26058 279016aebc41
child 29249 4dc278c8dc59
     1.1 --- a/src/ZF/ROOT.ML	Wed Dec 10 17:19:25 2008 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Thu Dec 11 18:30:26 2008 +0100
     1.3 @@ -8,5 +8,6 @@
     1.4  Paulson.
     1.5  *)
     1.6  
     1.7 +set new_locales;
     1.8  use_thys ["Main", "Main_ZFC"];
     1.9