src/Pure/ML-Systems/polyml_common.ML
2008-03-24 ago removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
2008-03-06 ago common setup for system_out/system;
2008-03-06 ago rearrangements to make latest Poly/ML the default, not old 4.x;