author | wenzelm |
Thu, 31 May 2007 01:25:24 +0200 | |
changeset 23139 | aa899bce7c3b |
child 26215 | 94d32a7cd0fb |
permissions | -rw-r--r-- |
wenzelm@23139 | 1 |
(* Title: Pure/ML-Systems/polyml-4.1.4.ML |
wenzelm@23139 | 2 |
ID: $Id$ |
wenzelm@23139 | 3 |
|
wenzelm@23139 | 4 |
Compatibility wrapper for Poly/ML 4.1.4. |
wenzelm@23139 | 5 |
*) |
wenzelm@23139 | 6 |
|
wenzelm@23139 | 7 |
use "ML-Systems/polyml-old-basis.ML"; |
wenzelm@23139 | 8 |
use "ML-Systems/polyml.ML"; |