1
(* Title: Pure/ML-Systems/polyml-5.1.ML
2
3
Compatibility wrapper for Poly/ML 5.1.
4
*)
5
6
use "ML-Systems/thread_dummy.ML";
7
use "ML-Systems/polyml_common.ML";
8
use "ML-Systems/polyml_old_compiler5.ML";
9
10
val pointer_eq = PolyML.pointerEq;