[Trac] [OpenMath] #14: arity for symbols

[OpenMath]

#14: arity for symbols
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  kohlhase  
         Type:  proposal    |         Status:  closed    
     Priority:  blocker     |      Milestone:  CD3 Draft1
    Component:  CD3 Format  |        Version:            
   Resolution:  fixed       |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Changes (by kohlhase):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 OK, the arity can be gotten from the STS, and I think we can get rid of
 the Arity tag. Closing this bug and changing the schema (back)

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