src/Pure/ML-Systems/polyml-4.2.0.ML
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-09-07 wenzelm 2008-09-07 explicit use of universal.ML and dummy_thread.ML;
2008-03-24 wenzelm 2008-03-24 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;
2006-11-10 wenzelm 2006-11-10 tuned comments;
2005-11-14 wenzelm 2005-11-14 Compatibility wrapper for Poly/ML 4.2.0.