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

noNamespace
element FORMAL_PROOF

Documentation
A formal proof.
Properties
This component is not nillable.
Model
<FORMAL_PROOF>
(PRECEDING?, LINES, SUCCEEDING? )
</FORMAL_PROOF>

Nested Element Summary
 LINES
          
 PRECEDING
          
 SUCCEEDING
          
Source
<xs:element name="FORMAL_PROOF">
  <xs:complexType>
    <xs:sequence>
      <xs:element maxOccurs="1" minOccurs="0" ref="PRECEDING"/>
      <xs:element ref="LINES"/>
      <xs:element maxOccurs="1" minOccurs="0" ref="SUCCEEDING"/>
    </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.