Update of /cvs/tunes/src/papers/Glossary In directory bespin.org:/tmp/cvs-serv16105 Modified Files: index.phtml Log Message: Actually, in SML, the semantics of arithmetics + arguably depends on typing.