noNamespace
element L

Documentation
A proofline that derives from previous derived formulas.
Properties
This component is not nillable.

Model
<L
  label = xs:NMTOKEN>
(FORMULA, REASONTYPE )
</L>


Nested Element Summary
 FORMULA
          New derived formula. 
 REASONTYPE
          References the rule and extra parameters that we need to get the new proof line. 

Attribute Summary
 xs:NMTOKENlabel
          May be needed for back references. 

Attribute Detail

label

May be needed for back references.

Type:
xs:NMTOKEN
Use:
optional
Form:
unqualified

Source
<xs:element name="L" substitutionGroup="LINETYPE">
<xs:complexType>
<xs:sequence>
<xs:element maxOccurs="1" minOccurs="1" ref="FORMULA">
</xs:element>
<xs:element maxOccurs="1" minOccurs="1" ref="REASONTYPE">
</xs:element>
</xs:sequence>
<xs:attribute name="label" type="xs:NMTOKEN">
</xs:attribute>
</xs:complexType>
</xs:element>


Submit a bug or a feature.
Created by xsddoc, a sub project of xframe, hosted at http://xframe.sourceforge.net.