| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
A new meta rule.
Nested Element Summary | |
| DESCRIPTION Additional description. |
| LINK References to theorems or axioms. |
| PROOF Informal proof for this rule. |
Attribute Summary | |
xs:string | name |
Attribute Detail |
xs:string
required
unqualified
<xs:element name="RULE" substitutionGroup="NODETYPE"><xs:complexType></xs:element><xs:sequence><xs:element name="LINK" minOccurs="0" maxOccurs="unbounded"><xs:complexType></xs:element><xs:attribute name="id" type="xs:string" use="required"/></xs:complexType><xs:element name="DESCRIPTION" minOccurs="1"><xs:complexType></xs:element>
</xs:complexType><xs:element name="PROOF" minOccurs="0" maxOccurs="unbounded"></xs:sequence><xs:complexType></xs:element><xs:attribute name="kind" type="xs:NMTOKEN" use="required"/><xs:attribute name="level" type="xs:string" use="required"/></xs:complexType><xs:attribute name="name" type="xs:string" use="required"/></xs:complexType>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |