src/Pure/ML-Systems/polyml-4.2.0.ML
author wenzelm
Thu Mar 06 19:21:26 2008 +0100 (2008-03-06)
changeset 26215 94d32a7cd0fb
child 26377 54dc2f9c5be8
permissions -rw-r--r--
rearrangements to make latest Poly/ML the default, not old 4.x;
wenzelm@26215
     1
(*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
wenzelm@26215
     2
    ID:         $Id$
wenzelm@26215
     3
wenzelm@26215
     4
Compatibility wrapper for Poly/ML 4.2.0.
wenzelm@26215
     5
*)
wenzelm@26215
     6
wenzelm@26215
     7
use "ML-Systems/polyml_common.ML";