[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 [comment:2 clange]:
 > Replying to [comment:1 jhd]:
 > > Replying to [ticket:99 clange]:
 > > > logic1p consists just of one CDDefinition element
 > > Wher do you get logic1p from?
 > https://svn.openmath.org/www/cdfiles2/contrib/cd/logic1p.ocd
 >
 > (Note that I created the Trac component "OM2 Contrib CDs" for the
 contributed CDs in that directory.)
 Thanks. I forgot the extra 'contrib'. God knows where this CD came from,
 but I would like to shoot it (and talk to the author) It makes MathML2
 condition look positively reasonable! Furthermore, maing things convenient
 for textbook authors ought not, in my view, to be an OM motivation.

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