| author | wenzelm |
| Sun, 07 Sep 2008 17:46:43 +0200 | |
| changeset 28151 | 61f9c918b410 |
| parent 26377 | 54dc2f9c5be8 |
| child 29564 | f8b933a62151 |
| permissions | -rw-r--r-- |
1 (* Title: Pure/ML-Systems/polyml-4.1.4.ML
2 ID: $Id$
4 Compatibility wrapper for Poly/ML 4.1.4.
5 *)
7 use "ML-Systems/polyml_old_basis.ML";
8 use "ML-Systems/universal.ML";
9 use "ML-Systems/thread_dummy.ML";
10 use "ML-Systems/polyml_common.ML";
11 use "ML-Systems/polyml_old_compiler4.ML";
13 val pointer_eq = Address.wordEq;