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

noNamespace
element LINETYPE

Documentation
Type for a proof line of a formal proof.
Properties
This component is not nillable.
Model
<LINETYPE>

</LINETYPE>
Source
<xs:element abstract="true" name="LINETYPE">
</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.