OpenMath Signatures

---

Type System: sts
Content Dictionary: typesorts
CD Signature File: typesorts.sts

---

official

               
 No Signatures are currently supplied for the
 symbols defined in the typesorts Content Dictionary