author | wenzelm |
Fri, 03 Oct 2008 21:06:38 +0200 | |
changeset 28490 | 40c3f900c457 |
parent 28151 | 61f9c918b410 |
child 29564 | f8b933a62151 |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/polyml-4.1.4.ML ID: $Id$ Compatibility wrapper for Poly/ML 4.1.4. *) use "ML-Systems/polyml_old_basis.ML"; use "ML-Systems/universal.ML"; use "ML-Systems/thread_dummy.ML"; use "ML-Systems/polyml_common.ML"; use "ML-Systems/polyml_old_compiler4.ML"; val pointer_eq = Address.wordEq;