| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
Add already proven formula. For rule version 0.01.00.
Attribute Summary | |
xs:string | ref Identifies a previous a proof line, axiom, definition or proposition. |
Attribute Detail |
xs:string
optional
unqualified
<xs:element name="ADD" substitutionGroup="REASONTYPE"><xs:complexType></xs:element><xs:attribute name="ref" type="xs:string"></xs:complexType>
</xs:attribute>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |