types1 2 0 http://www.openmath.org/cdfiles/cdgroups/types1.ocd Types1 CD Group David Carlisle 1999-05-04 Small Type System sts http://www.openmath.org/cd/sts.ocd MathML Numerical Types mathmltypes http://www.openmath.org/cd/mathmltypes.ocd