src/Pure/ML-Systems/share_common_data_polyml-5.3.0.ML
2013-07-19 ago old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);