9 lines
264 B
OCaml
9 lines
264 B
OCaml
(* Title: Pure/ML-Systems/polyml-4.2.0.ML
|
|
ID: $Id: polyml-4.2.0.ML,v 1.1 2005/11/14 13:36:46 wenzelm Exp $
|
|
Author: Makarius
|
|
|
|
Compatibility wrapper for Poly/ML 4.2.0.
|
|
*)
|
|
|
|
use "ML-Systems/polyml-4.1.4-patch.ML";
|
|
use "ML-Systems/polyml.ML";
|