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
22 position NMTOKEN #REQUIRED
34 <!ELEMENT Cast %term;>
40 <!ELEMENT Appl %term;>
46 <!ELEMENT Abst %term;>
52 <!ELEMENT Abbr %term;>
64 <!-- ENVIRONMENT ENTRIES -->
66 <!ENTITY % entity '(ABST|ABBR)'>
68 <!ELEMENT ABST %term;>
75 <!ELEMENT ABBR %term;>
84 <!ELEMENT ENTITY %entity;>
86 hierarchy NMTOKEN #REQUIRED
87 options NMTOKENS #IMPLIED