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