1 <grammar xmlns="http://relaxng.org/ns/structure/1.0"
2 ns="http://relaxng.org/ns/proofsystem">
5 <element name="proofSystem">
8 <attribute name="name"/>
10 <ref name="antecedent"/>
12 <ref name="consequent"/>
18 <define name="formula">
19 <element name="formula">
21 <ref name="judgement"/>
27 <define name="consequent">
28 <ref name="judgement"/>
31 <define name="antecedent">
32 <ref name="judgement"/>
35 <define name="judgement">
37 <element name="judgement">
38 <attribute name="name"/>
44 <ref name="judgement"/>
52 <attribute name="range"/>
54 <attribute name="index"/>
57 <attribute name="sub"/>
60 <element name="function">
61 <attribute name="name"/>
66 <element name="element">
67 <attribute name="name"/>
69 <element name="attribute">
70 <attribute name="name"/>
81 <element name="group">
86 <element name="string"><text/></element>
90 <define name="context">
91 <element name="context">