src/Pure/ML-Systems/polyml-4.1.4.ML
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;