changeset 24584 | 01e83ffa6c54 |
parent 24169 | 29c9da443edc |
child 29564 | f8b933a62151 |
24583:d77e4d48e497 | 24584:01e83ffa6c54 |
---|---|
1 (* Title: Pure/ML-Systems/overloading-smlnj.ML |
1 (* Title: Pure/ML-Systems/overloading_smlnj.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Overloading in SML/NJ (cf. smlnj/base/system/smlnj/init/pervasive.sml). |
5 Overloading in SML/NJ (cf. smlnj/base/system/smlnj/init/pervasive.sml). |
6 *) |
6 *) |