changeset 23139 | aa899bce7c3b |
child 26215 | 94d32a7cd0fb |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/ML-Systems/polyml-4.1.4.ML Thu May 31 01:25:24 2007 +0200 @@ -0,0 +1,8 @@ +(* 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/polyml.ML";