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

[OpenMath]

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

 Replying to [ticket:99 clange]:
 > logic1p consists just of one CDDefinition element
 Wher do you get logic1p from?

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