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

noNamespace
element PROOF

Documentation
Informal proof for this rule.
Properties
This component is not nillable.
Model
<PROOF
  kind = xs:NMTOKEN
  level = xs:string>
LATEX+
</PROOF>

Nested Element Summary
 LATEX
          

Attribute Summary
 xs:NMTOKENkind
          
 xs:stringlevel
          

Attribute Detail

kind

Type:
xs:NMTOKEN
Use:
required
Form:
unqualified

level

Type:
xs:string
Use:
required
Form:
unqualified
Source
<xs:element name="PROOF" minOccurs="0" maxOccurs="unbounded">
  <xs:complexType>
    <xs:sequence>
      <xs:element ref="LATEX" minOccurs="1" maxOccurs="unbounded"/>
    </xs:sequence>
    <xs:attribute name="kind" type="xs:NMTOKEN" use="required"/>
    <xs:attribute name="level" type="xs:string" use="required"/>
  </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.