Overview Namespace Component Index Help 
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCEFRAMES | NO FRAMES

noNamespace
element THEOREM

Documentation
A theorem and it's proof.
Properties
This component is not nillable.
Model
<THEOREM>
(FORMULA, DESCRIPTION, PROOF*, FORMAL_PROOF* )
</THEOREM>

Nested Element Summary
 DESCRIPTION
          Additional description. 
 FORMAL_PROOF
          
 FORMULA
          This formula is the theorem. 
 PROOF
          
Source
<xs:element name="THEOREM" substitutionGroup="NODETYPE">
  <xs:complexType>
    <xs:sequence>
      <xs:element ref="FORMULA">
      </xs:element>
      <xs:element minOccurs="0" 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" ref="PROOF"/>
      <xs:element maxOccurs="unbounded" minOccurs="0" ref="FORMAL_PROOF"/>
    </xs:sequence>
  </xs:complexType>
</xs:element>
Overview Namespace Component Index Help 
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCEFRAMES | NO FRAMES
Submit a bug or a feature.
Created by xsddoc, a sub project of xframe, hosted at http://xframe.sourceforge.net.