src/Pure/ML-Systems/ml_name_space.ML
2014-03-25 ago added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
2009-03-23 ago de-camelized ML_Name_Space;
2009-01-19 ago removed Ids;
2008-09-17 ago ML name space -- dummy version of Poly/ML 5.2 facility.