| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
A proofline that derives from previous derived formulas.
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:NMTOKEN | label May be needed for back references. |
Attribute Detail |
xs:NMTOKEN
optional
unqualified
<xs:element name="L" substitutionGroup="LINETYPE"><xs:complexType></xs:element><xs:sequence>
</xs:sequence><xs:attribute name="label" type="xs:NMTOKEN"></xs:complexType>
</xs:attribute>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |