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
21 position NMTOKEN #REQUIRED
31 <!ELEMENT Cast %term;>
36 <!ELEMENT Appl %term;>
41 <!ELEMENT Abst %term;>
46 <!ELEMENT Abbr %term;>
56 <!-- ENVIRONMENT ENTRIES -->
58 <!ENTITY % entry '(ABST|ABBR|VOID)'>
60 <!ELEMENT ABST %term;>
66 <!ELEMENT ABBR %term;>
80 <!ELEMENT ENTRY %entry;>
82 hierarchy NMTOKEN #REQUIRED
83 options NMTOKENS #IMPLIED