1 (* Title: Pure/ML-Systems/polyml-5.0.ML
1 (* Title: Pure/ML-Systems/polyml-5.1.ML
2 ID: $Id$
3
4 Compatibility wrapper for Poly/ML 5.1.
5 *)
6