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.
tuned comment
authorhaftmann
Wed, 22 Dec 2010 20:08:40 +0100
changeset 41386 9400026a82f5
parent 41385 6476ab765777
child 41391 b71bcdb568c0
tuned comment
src/Pure/simplifier.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/simplifier.ML	Wed Dec 22 14:44:03 2010 +0100
+++ b/src/Pure/simplifier.ML	Wed Dec 22 20:08:40 2010 +0100
@@ -2,7 +2,7 @@
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 Generic simplifier, suitable for most logics (see also
-meta_simplifier.ML for the actual meta-level rewriting engine).
+raw_simplifier.ML for the actual meta-level rewriting engine).
 *)
 
 signature BASIC_SIMPLIFIER =
isabelle