changeset 50910 | 54f06ba192ef |
parent 48416 | 5787e1c911d0 |
child 50911 | ee7fe4230642 |
--- a/src/Pure/ML-Systems/smlnj.ML Wed Jan 16 11:25:26 2013 +0100 +++ b/src/Pure/ML-Systems/smlnj.ML Wed Jan 16 11:31:08 2013 +0100 @@ -1,6 +1,6 @@ (* Title: Pure/ML-Systems/smlnj.ML -Compatibility file for Standard ML of New Jersey 110 or later. +Compatibility file for Standard ML of New Jersey. *) use "ML-Systems/proper_int.ML";