Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Comments updated.
authorballarin
Fri, 27 Mar 2009 20:25:07 +0100 (2009-03-27)
changeset 30749 44a16c6956f9
parent 30581 ac50e7dedf6d
child 30750 3779e2158dad
Comments updated.
src/FOL/ex/LocaleTest.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle