--- a/src/Pure/ML/ml_lex.scala Mon Dec 08 11:50:04 2014 +0100
+++ b/src/Pure/ML/ml_lex.scala Mon Dec 08 15:21:57 2014 +0100
@@ -1,7 +1,7 @@
/* Title: Pure/ML/ml_lex.scala
Author: Makarius
-Lexical syntax for SML.
+Lexical syntax for Isabelle/ML and Standard ML.
*/
package isabelle