src/Pure/ML-Systems/smlnj.ML
changeset 4407 7d4e2832b791
parent 4403 1914f727f93f
child 4428 5c26253b8a2e
--- 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 **)