author | wenzelm |
Sun, 07 Sep 2008 17:46:43 +0200 | |
changeset 28151 | 61f9c918b410 |
parent 26377 | 54dc2f9c5be8 |
child 29564 | f8b933a62151 |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/polyml-4.1.3.ML ID: $Id$ Compatibility wrapper for Poly/ML 4.1.3. *) 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;