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