# HG changeset patch
# User wenzelm
# Date 1292848585 -3600
# Node ID 95449e4b4bf6dc2c0b61ac69703b26be6e19eb01
# Parent  42967939ea8106ff6ab6208e00b7b89192e3a3bf
purged some comments (Locale_Test is already clean thanks to configuration options);

diff -r 42967939ea81 -r 95449e4b4bf6 src/FOL/ex/ROOT.ML
--- 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";