| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
A formal proof.
Nested Element Summary | |
| PRECEDING |
| SUCCEEDING |
Attribute Summary | |
xs:NMTOKEN | kind |
xs:string | level |
Attribute Detail |
xs:NMTOKEN
required
unqualified
xs:string
required
unqualified
<xs:element name="FORMAL_PROOF"><xs:complexType></xs:element><xs:sequence>
</xs:sequence><xs:attribute name="kind" type="xs:NMTOKEN" use="required"/><xs:attribute name="level" type="xs:string" use="required"/></xs:complexType>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |