Lines Matching refs:element

5   <element name="proofSystem">
7       <element name="rule">
13       </element>
15   </element>
19   <element name="formula">
24   </element>
37     <element name="judgement">
42     </element>
43     <element name="not">
45     </element>
51     <element name="var">
59     </element>
60     <element name="function">
65     </element>
66     <element name="element">
69         <element name="attribute">
72         </element>
80     </element>
81     <element name="group">
85     </element>
86     <element name="string"><text/></element>
91   <element name="context">
93   </element>