[Trac] [OpenMath] #99: logic1p is not a CD, just a CDDefinition

Tue Nov 4 19:58:24 CET 2008

#99: logic1p is not a CD, just a CDDefinition
--------------------------------+-------------------------------------------
    Reporter:  clange           |           Owner:  jhd       
        Type:  defect           |          Status:  new       
    Priority:  major            |       Milestone:            
   Component:  OM2 Contrib CDs  |         Version:            
    Keywords:                   |   Include_gantt:  0         
Dependencies:                   |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD       |  
--------------------------------+-------------------------------------------
 logic1p consists just of one CDDefinition element

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