src/Pure/ML-Systems/overloading_smlnj.ML
2009-01-19 ago removed Ids;
2007-09-15 ago fixed title
2007-08-07 ago added more instances;
2007-08-06 ago added more instances;
2007-08-06 ago Overloading in SML/NJ.