[Trac] [OpenMath] #26: merge omtypes.ocd and mathmltypes.ocd and sts.ocd

[OpenMath]

#26: merge omtypes.ocd and mathmltypes.ocd and sts.ocd
-----------------------------+----------------------------------------------
    Reporter:  kohlhase      |           Owner:  kohlhase        
        Type:  proposal      |          Status:  new             
    Priority:  major         |       Milestone:  MathML3CD Draft1
   Component:  OM3 Standard  |         Version:                  
    Keywords:                |   Include_gantt:  0               
Dependencies:                |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 We have the CDs omtypes.ocd, mathmltypes.ocd, sts.ocd that all contribute
 types and type constructors. They should be merged, relegating those that
 we do not need for the OM3/MathML3 CDs to other OM CDs.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/26>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.