propositional/syntax/base.omdoc

	base.omdoc revision bdc103981a28a51938de98a956d8a3767f6cf43d
<?xml version="1.0" encoding="UTF-8"?>
<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath" base="file:/home/aivaras/Hets-src/Framework/specs/logics/propositional/syntax/base.elf">
<!-- generated by Twelf -->
<theory name="Base" base="/" meta="http://cds.omdoc.org/foundations/lf/lf.omdoc?lf">
   <constant name="o" role="type">
      <type>
         <om:OMOBJ>
            <om:OMS base="http://cds.omdoc.org/foundations/lf/lf.omdoc" module="lf" name="type"/>
         </om:OMOBJ>
      </type>
   </constant>

   <constant name="ded" role="type">
      <type>
         <om:OMOBJ>
            <om:OMA>
               <om:OMS base="http://cds.omdoc.org/foundations/lf/lf.omdoc" module="lf" name="arrow"/>
               <om:OMS name="o"/>
               <om:OMS base="http://cds.omdoc.org/foundations/lf/lf.omdoc" module="lf" name="type"/>
            </om:OMA>
         </om:OMOBJ>
      </type>
   </constant>
   <notation for="??ded" role="application" fixity="pre" precedence="0" implicit="0"/>

</theory>

</omdoc>