Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Equal.header
Namespace http://ruleml.org/spec
Annotations
Equations accept the header of truth-valued connectives
Diagram
Used by
Complex Type ruleml:Equal.type.def
Model
Children ruleml:meta
Source
<xs:group name="Equal.header">
  <xs:annotation>
    <xs:documentation>Equations accept the header of truth-valued connectives</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group minOccurs="0" ref="ruleml:TruthValuedConnective.header"/>
  </xs:sequence>
</xs:group>