OpenMath Signatures


Type System: sts
Content Dictionary: quant1
CD Signature File: quant1.sts
CD Signature as XML Encoded OpenMath: quant1.omsts



Date:  1999-04-13
Author: David Carlisle


forall

<OMOBJ>
 <OMS name="binder" cd="sts"/>
</OMOBJ>
binder

Content Dictionary Entry.


[Next: exists] [Last: exists] [Top]


exists

<OMOBJ>
 <OMS name="binder" cd="sts"/>
</OMOBJ>
binder

Content Dictionary Entry.


[First: forall] [Previous: forall] [Top]