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