purged some comments (Locale_Test is already clean thanks to configuration options);

--- a/src/FOL/ex/ROOT.ML	Mon Dec 20 13:24:04 2010 +0100
+++ b/src/FOL/ex/ROOT.ML	Mon Dec 20 13:36:25 2010 +0100
@@ -1,8 +1,3 @@
-(*  Title:      FOL/ex/ROOT.ML
-
-Examples for First-Order Logic. 
-*)
-
 use_thys [
   "First_Order_Logic",
   "Natural_Numbers",
@@ -21,5 +16,4 @@
   "If"
 ];
 
-(*regression test for locales -- sets several global flags!*)
 no_document use_thy "Locale_Test/Locale_Test";