Type System:
sts
Content Dictionary:
relation2
CD Signature File:
relation2.sts
Date: 1999-04-13 Author: David Carlisle
<OMOBJ xmlns="http://www.openmath.org/OpenMath"> <OMA> <OMS name="mapsto" cd="sts"/> <OMS name="NumericalValue" cd="sts"/> <OMS name="NumericalValue" cd="sts"/> <OMS cd="setname2" name="Boolean"/> </OMA> </OMOBJ>( NumericalValue NumericalValue >> Boolean )
[First: ] [Last: ] [Top] |