changeset 31308 | 3fd52453ae81 |
parent 30687 | beaadd5af500 |
31307:7015fee8c3e8 | 31308:3fd52453ae81 |
---|---|
1 (* Title: Pure/ML-Systems/polyml-4.2.0.ML |
|
2 |
|
3 Compatibility wrapper for Poly/ML 4.2.0. |
|
4 *) |
|
5 |
|
6 use "ML-Systems/universal.ML"; |
|
7 use "ML-Systems/thread_dummy.ML"; |
|
8 use "ML-Systems/ml_name_space.ML"; |
|
9 use "ML-Systems/polyml_common.ML"; |
|
10 use "ML-Systems/polyml_old_compiler4.ML"; |
|
11 use "ML-Systems/polyml_pp.ML"; |
|
12 |
|
13 val pointer_eq = Address.wordEq; |
|
14 |