src/Pure/ML-Systems/polyml-4.1.3.ML
author berghofe
Mon Jan 21 14:18:49 2008 +0100 (2008-01-21)
changeset 25939 ddea202704b4
parent 23139 aa899bce7c3b
child 26215 94d32a7cd0fb
permissions -rw-r--r--
Removed Logic.auto_rename.
wenzelm@23139
     1
(*  Title:      Pure/ML-Systems/polyml-4.1.3.ML
wenzelm@23139
     2
    ID:         $Id$
wenzelm@23139
     3
wenzelm@23139
     4
Compatibility wrapper for Poly/ML 4.1.3.
wenzelm@23139
     5
*)
wenzelm@23139
     6
wenzelm@23139
     7
use "ML-Systems/polyml-old-basis.ML";
wenzelm@23139
     8
use "ML-Systems/polyml.ML";