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.
merged
authorhaftmann
Wed, 22 Dec 2010 22:21:14 +0100
changeset 41391 b71bcdb568c0
parent 41386 9400026a82f5 (diff)
parent 41390 207ee8f8a19c (current diff)
child 41392 d1ff42a70f77
merged
--- a/src/Pure/simplifier.ML	Wed Dec 22 22:20:57 2010 +0100
+++ b/src/Pure/simplifier.ML	Wed Dec 22 22:21:14 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