# HG changeset patch
# User ballarin
# Date 1238181907 -3600
# Node ID 44a16c6956f9e205d984ea7bcd9d77822c4ca760
# Parent  ac50e7dedf6d2b5f32182f18a23f17839162d02d
Comments updated.

diff -r ac50e7dedf6d -r 44a16c6956f9 src/FOL/ex/LocaleTest.thy
--- a/src/FOL/ex/LocaleTest.thy	Wed Mar 18 22:17:23 2009 +0100
+++ b/src/FOL/ex/LocaleTest.thy	Fri Mar 27 20:25:07 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      FOL/ex/NewLocaleTest.thy
+(*  Title:      FOL/ex/LocaleTest.thy
     Author:     Clemens Ballarin, TU Muenchen
 
-Testing environment for locale expressions.
+Test environment for the locale implementation.
 *)
 
 theory LocaleTest