tuned comment;

--- a/src/Pure/ML-Systems/smlnj.ML	Sat Dec 13 17:22:15 1997 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Sat Dec 13 17:22:41 1997 +0100
@@ -3,7 +3,7 @@
     Author:     Carsten Clasohm and Markus Wenzel, TU Muenchen
 
 Compatibility file for Standard ML of New Jersey versions 109.27 to
-109.33, 110 or later.
+109.33, and 110 or later.
 *)
 
 (** ML system related **)