src/Pure/ML-Systems/polyml-4.1.3.ML
author wenzelm
Thu May 31 01:25:24 2007 +0200 (2007-05-31)
changeset 23139 aa899bce7c3b
child 26215 94d32a7cd0fb
permissions -rw-r--r--
TextIO.inputLine: use present SML B library version;
     1 (*  Title:      Pure/ML-Systems/polyml-4.1.3.ML
     2     ID:         $Id$
     3 
     4 Compatibility wrapper for Poly/ML 4.1.3.
     5 *)
     6 
     7 use "ML-Systems/polyml-old-basis.ML";
     8 use "ML-Systems/polyml.ML";