src/ZF/ROOT.ML
changeset 29249 4dc278c8dc59
parent 29223 e09c53289830
child 35762 af3ff2ba4c54
     1.1 --- a/src/ZF/ROOT.ML	Fri Dec 19 15:05:37 2008 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Fri Dec 19 16:39:23 2008 +0100
     1.3 @@ -8,6 +8,5 @@
     1.4  Paulson.
     1.5  *)
     1.6  
     1.7 -set new_locales;
     1.8  use_thys ["Main", "Main_ZFC"];
     1.9