noNamespace
element RULE

Documentation
A new meta rule.
Properties
This component is not nillable.

Model
<RULE
  name = xs:string
  version = xs:string>
(LINK, DESCRIPTION, CHANGED_RULE, PROOF )
</RULE>


Nested Element Summary
 CHANGED_RULE
          Modifications to other existing rules. 
 DESCRIPTION
          Additional description. 
 LINK
          References to theorems or axioms. 
 PROOF
          Informal proof for this rule. 

Attribute Summary
 xs:stringname
          
 xs:stringversion
          Version of this rule. 

Attribute Detail

name

Type:
xs:string
Use:
required
Form:
unqualified

version

Version of this rule. In combination with the name a rule must be unique.

Type:
xs:string
Use:
required
Form:
unqualified

Source
<xs:element name="RULE" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element maxOccurs="unbounded" minOccurs="0" name="LINK">
<xs:complexType>
<xs:attribute name="id" type="xs:string" use="required"/>
</xs:complexType>
</xs:element>
<xs:element minOccurs="1" name="DESCRIPTION">
<xs:complexType>
<xs:sequence>
<xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element maxOccurs="unbounded" minOccurs="0" name="CHANGED_RULE">
<xs:complexType>
<xs:sequence>
<xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/>
</xs:sequence>
<xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="version" type="xs:string" use="required">
</xs:attribute>
</xs:complexType>
</xs:element>
<xs:element maxOccurs="unbounded" minOccurs="0" name="PROOF">
<xs:complexType>
<xs:sequence>
<xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/>
</xs:sequence>
<xs:attribute name="kind" type="xs:NMTOKEN" use="required"/>
<xs:attribute name="level" type="xs:string" use="required"/>
</xs:complexType>
</xs:element>
</xs:sequence>
<xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="version" type="xs:string" use="required">
</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.