1.1 --- a/src/Pure/ML-Systems/polyml-4.1.3.ML	Sat May 30 22:37:38 2009 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,15 +0,0 @@
     1.4 -(*  Title:      Pure/ML-Systems/polyml-4.1.3.ML
     1.5 -
     1.6 -Compatibility wrapper for Poly/ML 4.1.3.
     1.7 -*)
     1.8 -
     1.9 -use "ML-Systems/polyml_old_basis.ML";
    1.10 -use "ML-Systems/universal.ML";
    1.11 -use "ML-Systems/thread_dummy.ML";
    1.12 -use "ML-Systems/ml_name_space.ML";
    1.13 -use "ML-Systems/polyml_common.ML";
    1.14 -use "ML-Systems/polyml_old_compiler4.ML";
    1.15 -use "ML-Systems/polyml_pp.ML";
    1.16 -
    1.17 -val pointer_eq = Address.wordEq;
    1.18 -