-
Notifications
You must be signed in to change notification settings - Fork 10
/
Copy pathomcd2.dtd
92 lines (68 loc) · 2.44 KB
/
omcd2.dtd
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
<?xml encoding="UTF-8"?>
<!--
*********************************************
Relax NG Schema for OpenMath CD
*********************************************
-->
<!ENTITY % omdtd SYSTEM "openmath2.dtd"> %omdtd;
<!ELEMENT CDComment (#PCDATA)>
<!ATTLIST CDComment
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDName (#PCDATA)>
<!ATTLIST CDName
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDUses (CDName)*>
<!ATTLIST CDUses
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDURL (#PCDATA)>
<!ATTLIST CDURL
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDBase (#PCDATA)>
<!ATTLIST CDBase
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ENTITY % text-or-om "(#PCDATA|OMOBJ)*">
<!ELEMENT CDReviewDate (#PCDATA)>
<!ATTLIST CDReviewDate
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDDate (#PCDATA)>
<!ATTLIST CDDate
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDVersion (#PCDATA)>
<!ATTLIST CDVersion
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDRevision (#PCDATA)>
<!ATTLIST CDRevision
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDStatus (#PCDATA)>
<!ATTLIST CDStatus
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT Description (#PCDATA)>
<!ATTLIST Description
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT Name (#PCDATA)>
<!ATTLIST Name
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT Role (#PCDATA)>
<!ATTLIST Role
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CMP (#PCDATA)>
<!ATTLIST CMP
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT FMP (OMOBJ)>
<!ATTLIST FMP
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'
kind CDATA #IMPLIED>
<!-- allow embedded OM -->
<!ELEMENT Example %text-or-om;>
<!ATTLIST Example
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CDDefinition (CDComment*,(Name|Role|Description)+,
(CDComment|Example|FMP|CMP)*)>
<!ATTLIST CDDefinition
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>
<!ELEMENT CD ((CDComment*|Description?|CDName|CDURL?|CDBase?
|CDReviewDate?|CDDate|CDStatus|CDUses?|CDVersion
|CDRevision)+,
(CDDefinition,CDComment*)+)>
<!ATTLIST CD
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCD'>