make LocalesTest last, because it sets funny flags;

--- a/src/FOL/ex/ROOT.ML	Tue Sep 06 16:59:51 2005 +0200
+++ b/src/FOL/ex/ROOT.ML	Tue Sep 06 16:59:52 2005 +0200
@@ -13,8 +13,6 @@
 time_use     "foundn.ML";
 time_use_thy "Prolog";
 
-time_use_thy "LocaleTest";
-
 writeln"\n** Intuitionistic examples **\n";
 time_use_thy "Intuitionistic";
 
@@ -39,3 +37,6 @@
 
 writeln"\n** How to declare an oracle **\n";
 time_use_thy "IffOracle";
+
+(*regression test for locales -- sets several global flags!*)
+time_use_thy "LocaleTest";