src/Pure/ML-Systems/polyml-4.2.0.ML
author wenzelm
Fri Nov 10 23:22:11 2006 +0100 (2006-11-10)
changeset 21299 4b01726d71fc
parent 18161 fd3afbf2a883
permissions -rw-r--r--
tuned comments;
     1 (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
     2     ID:         $Id$
     3 
     4 Compatibility wrapper for Poly/ML 4.2.0.
     5 *)
     6 
     7 use "ML-Systems/polyml-4.1.4-patch.ML";
     8 use "ML-Systems/polyml.ML";