src/Pure/ML-Systems/overloading_smlnj.ML
2007-08-06 wenzelm 2007-08-06 added more instances;
2007-08-06 wenzelm 2007-08-06 Overloading in SML/NJ.