src/Pure/ML/ml_compiler_polyml.ML
2012-05-24 wenzelm 2012-05-24 simplified Poly/ML setup -- 5.3.0 is now the common base-line;