1 | <?xml version="1.0" encoding="iso-8859-1"?>
|
---|
2 | <!-- $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc Exp $ -->
|
---|
3 | <grammar xmlns="http://relaxng.org/ns/structure/1.0"
|
---|
4 | datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"
|
---|
5 | xmlns:p="http://relaxng.org/ns/proofsystem">
|
---|
6 |
|
---|
7 | <start>
|
---|
8 | <grammar>
|
---|
9 | <include href="docbook.rng"/>
|
---|
10 | <define name="synop.class" combine="choice">
|
---|
11 | <choice>
|
---|
12 | <parentRef name="rngref"/>
|
---|
13 | <parentRef name="grammarref"/>
|
---|
14 | <grammar>
|
---|
15 | <include href="proofsystem.rng"/>
|
---|
16 | <start combine="choice">
|
---|
17 | <ref name="formula"/>
|
---|
18 | </start>
|
---|
19 | </grammar>
|
---|
20 | </choice>
|
---|
21 | </define>
|
---|
22 | <define name="tech.char.class" combine="choice">
|
---|
23 | <parentRef name="terms"/>
|
---|
24 | </define>
|
---|
25 | </grammar>
|
---|
26 | </start>
|
---|
27 |
|
---|
28 | <define name="rngref">
|
---|
29 | <element name="rngref">
|
---|
30 | <attribute name="src">
|
---|
31 | <data type="anyURI"/>
|
---|
32 | </attribute>
|
---|
33 | </element>
|
---|
34 | </define>
|
---|
35 |
|
---|
36 | <define name="grammarref">
|
---|
37 | <element name="grammarref">
|
---|
38 | <attribute name="src">
|
---|
39 | <data type="anyURI"/>
|
---|
40 | </attribute>
|
---|
41 | </element>
|
---|
42 | </define>
|
---|
43 |
|
---|
44 | <define name="terms">
|
---|
45 | <grammar>
|
---|
46 | <include href="proofsystem.rng">
|
---|
47 | <start>
|
---|
48 | <choice>
|
---|
49 | <ref name="expr"/>
|
---|
50 | <ref name="judgement"/>
|
---|
51 | <ref name="context"/>
|
---|
52 | </choice>
|
---|
53 | </start>
|
---|
54 | </include>
|
---|
55 | </grammar>
|
---|
56 | </define>
|
---|
57 |
|
---|
58 | </grammar>
|
---|
59 |
|
---|
60 |
|
---|