src/FOL/ex/ROOT.ML

--- a/src/FOL/ex/ROOT.ML	Wed Jun 01 10:52:17 2005 +0200
+++ b/src/FOL/ex/ROOT.ML	Wed Jun 01 12:30:49 2005 +0200
@@ -13,7 +13,7 @@
 time_use     "foundn.ML";
 time_use_thy "Prolog";
 
-time_use_thy "LocaleInst";
+time_use_thy "LocaleTest";
 
 writeln"\n** Intuitionistic examples **\n";
 time_use_thy "Intuitionistic";