1 <?xml version="1.0" encoding="UTF-8"?>
3 <!-- DTD for persistent lambda-delta logical data -->
7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
9 <!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
11 <!ENTITY % term '(%node;*,%leaf;)'>
15 position NMTOKEN #REQUIRED
16 name NMTOKENS #IMPLIED
17 mark NMTOKENS #IMPLIED
22 position NMTOKEN #REQUIRED
23 name NMTOKENS #IMPLIED
24 mark NMTOKENS #IMPLIED
30 name NMTOKENS #IMPLIED
31 mark NMTOKENS #IMPLIED
34 <!ELEMENT Cast %term;>
36 name NMTOKENS #IMPLIED
37 mark NMTOKENS #IMPLIED
40 <!ELEMENT Appl %term;>
42 name NMTOKENS #IMPLIED
43 mark NMTOKENS #IMPLIED
46 <!ELEMENT Abst %term;>
48 name NMTOKENS #IMPLIED
49 mark NMTOKENS #IMPLIED
52 <!ELEMENT Abbr %term;>
54 name NMTOKENS #IMPLIED
55 mark NMTOKENS #IMPLIED
60 name NMTOKENS #IMPLIED
61 mark NMTOKENS #IMPLIED
64 <!-- ENVIRONMENT ENTRIES -->
66 <!ENTITY % entity '(ABST|ABBR)'>
68 <!ELEMENT ABST %term;>
71 name NMTOKENS #IMPLIED
72 mark NMTOKENS #IMPLIED
75 <!ELEMENT ABBR %term;>
78 name NMTOKENS #IMPLIED
79 mark NMTOKENS #IMPLIED
84 <!ELEMENT ENTITY %entity;>
86 hierarchy NMTOKEN #REQUIRED
87 options NMTOKENS #IMPLIED