noNamespace
element LINES

Documentation
List of proof lines.
Properties
This component is not nillable.

Model
<LINES>
LINETYPE+
</LINES>


Nested Element Summary
 LINETYPE
          
Source
<xs:element name="LINES">
<xs:complexType>
<xs:sequence>
<xs:element maxOccurs="unbounded" minOccurs="1" ref="LINETYPE"/>
</xs:sequence>
</xs:complexType>
</xs:element>


Submit a bug or a feature.
Created by xsddoc, a sub project of xframe, hosted at http://xframe.sourceforge.net.