src/Pure/ML-Systems/polyml-4.2.0.ML
author wenzelm
Mon Nov 14 14:36:46 2005 +0100 (2005-11-14)
changeset 18161 fd3afbf2a883
child 21299 4b01726d71fc
permissions -rw-r--r--
Compatibility wrapper for Poly/ML 4.2.0.
wenzelm@18161
     1
(*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
wenzelm@18161
     2
    ID:         $Id$
wenzelm@18161
     3
    Author:     Makarius
wenzelm@18161
     4
wenzelm@18161
     5
Compatibility wrapper for Poly/ML 4.2.0.
wenzelm@18161
     6
*)
wenzelm@18161
     7
wenzelm@18161
     8
use "ML-Systems/polyml-4.1.4-patch.ML";
wenzelm@18161
     9
use "ML-Systems/polyml.ML";