src/Pure/simplifier.ML

--- 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 =