src/Pure/ML-Systems/polyml-4.2.0.ML
author wenzelm
Fri Nov 10 23:22:11 2006 +0100 (2006-11-10)
changeset 21299 4b01726d71fc
parent 18161 fd3afbf2a883
permissions -rw-r--r--
tuned comments;
wenzelm@18161
     1
(*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
wenzelm@18161
     2
    ID:         $Id$
wenzelm@18161
     3
wenzelm@18161
     4
Compatibility wrapper for Poly/ML 4.2.0.
wenzelm@18161
     5
*)
wenzelm@18161
     6
wenzelm@18161
     7
use "ML-Systems/polyml-4.1.4-patch.ML";
wenzelm@18161
     8
use "ML-Systems/polyml.ML";