src/Pure/ML-Systems/polyml-5.0.ML
author wenzelm
Tue Dec 05 18:33:29 2006 +0100 (2006-12-05)
changeset 21653 219924615db6
child 21771 148c8aba89dd
permissions -rw-r--r--
setup for polyml-5.0;
wenzelm@21653
     1
(*  Title:      Pure/ML-Systems/polyml-5.0.ML
wenzelm@21653
     2
    ID:         $Id$
wenzelm@21653
     3
wenzelm@21653
     4
Compatibility wrapper for Poly/ML 5.0.
wenzelm@21653
     5
*)
wenzelm@21653
     6
wenzelm@21653
     7
use "ML-Systems/polyml-4.1.4-patch.ML";
wenzelm@21653
     8
use "ML-Systems/polyml.ML";
wenzelm@21653
     9
wenzelm@21653
    10
val pointer_eq = PolyML.pointerEq;