diff -r e3f680709487 -r e08c25821e08 src/Pure/Syntax/README
--- a/src/Pure/Syntax/README	Tue Feb 04 10:33:58 1997 +0100
+++ b/src/Pure/Syntax/README	Wed Feb 05 09:56:06 1997 +0100
@@ -7,7 +7,7 @@
   Pretty        (generic pretty printing module)
   Scanner       (generic scanner toolbox)
 
-  Syntax        (interface to the syntax module)
+  Syntax        (internal interface to the syntax module)
   BasicSyntax   (part of Syntax made pervasive)
 
 There is no Makefile to compile these files separately; they are compiled as