[Trac] [OpenMath] #29: Convert and Merge *.mts type information

[OpenMath]

#29: Convert and Merge *.mts type information
---------------------------+------------------------------------------------
    Reporter:  kohlhase    |           Owner:  jhd             
        Type:  proposal    |          Status:  new             
    Priority:  major       |       Milestone:  MathML3CD Draft1
   Component:  MathML CDs  |         Version:                  
    Keywords:              |   Include_gantt:  0               
Dependencies:              |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 the *.mts files contain type information from the old appendix C of the
 MathML2 spec, they should be merged into the *.sts files.

 The main problems are that
  * the information is in ASCII form, it must be converted to STS type
 expressions in cMathML form.
  * the type repertoire must be re-based on the joint MathML3/OM3 set of
 types (see issue #26)
  * all syntactical intuitions like attributes must be eliminated

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