element <proof> (global)
Namespace:
Type:
anonymous complexType
Content:
complex, 5 attributes, 22 elements
Defined:
globally in pretext.xsd; see XML source
Includes:
definition of 1 element
Used:
XML Representation Summary
<proof
   
 = 
xs:anySimpleType
 = 
xs:anySimpleType
 = 
xs:anySimpleType
 = 
xs:anySimpleType
 = 
xs:anySimpleType
   
>
   
Content: 
</proof>
Content model elements (22):
image (defined in ImageCode group),
image (defined in ImageRaster group),
p (defined in Paragraph group),
sbsgroup (defined in SideBySideGroup group),
sidebyside (defined in SideBySide group),
title (defined in Title group),
Included in content model of elements (21):
conclusion (defined in ConclusionDivision group),
hint (defined in Hint group),
paragraphs (defined in Paragraphs group),
solution (defined in Solution group),
Known Usage Locations
XML Source (see within schema source)
<xs:element name="proof">
<xs:complexType>
<xs:sequence>
<xs:group ref="MetaDataTitleOptional"/>
<xs:choice maxOccurs="unbounded">
<xs:group ref="BlockStatement"/>
<xs:element ref="case"/>
</xs:choice>
</xs:sequence>
<xs:attributeGroup ref="MetaDataTitleOptional"/>
</xs:complexType>
</xs:element>
Content Element Detail (all declarations; defined within this component only; 1/22)
case
Type:
anonymous complexType, complex content
XML Source (see within schema source)
<xs:element ref="case"/>

XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set