noNamespace
element ADD

Documentation
Add already proven formula. For rule version 0.01.00.
Properties
This component is not nillable.

Model
<ADD
  ref = xs:string>

</ADD>


Attribute Summary
 xs:stringref
          Identifies a previous a proof line, axiom, definition or proposition. 

Attribute Detail

ref

Identifies a previous a proof line, axiom, definition or proposition.

Type:
xs:string
Use:
optional
Form:
unqualified

Source
<xs:element name="ADD" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:attribute name="ref" type="xs:string">
</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.