[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:                  
   Resolution:                |       Keywords:                  
Include_gantt:  0             |   Dependencies:                  
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD      
------------------------------+---------------------------------------------
Comment (by jhd):

 [26 and 30 seem to be very similar]
 mathmltypes I have never understood.
 Why does 'complex' have 'cartesian' and 'polar' but 'rational' not have
 'vulgar' and 'proper'?
 It seems to be an OM attempt to support an obsolescent MML, and can safely
 be relegated to 'obsolete'.
 omtypes describes the types of the basic elements of the OM language, and
 should NOT be confused with anything else.

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