1 <?xml version="1.0" encoding="UTF-8"?>
3 <!-- DTD for persistent lambdadelta logical data -->
7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
9 <!ENTITY % node '(Proj|Cast|Appl|Abst|Abbr|Void)'>
11 <!ENTITY % term '(%node;*,%leaf;)'>
13 <!ENTITY % nodes '(%node;*)'>
17 position NMTOKEN #REQUIRED
23 position NMTOKEN #REQUIRED
30 position NMTOKEN #REQUIRED
34 <!ELEMENT Cast %term;>
38 <!ELEMENT Appl %term;>
42 <!ELEMENT Proj %nodes;>
46 <!ELEMENT Abst %term;>
48 layer NMTOKEN #IMPLIED
49 position NMTOKEN #REQUIRED
53 <!ELEMENT Abbr %term;>
63 <!-- ENVIRONMENT ENTRIES -->
65 <!ENTITY % constant '(GDec|GDef)'>
67 <!ELEMENT GDec %term;>
70 position NMTOKEN #REQUIRED
72 meta NMTOKENS #IMPLIED
77 <!ELEMENT GDef %term;>
80 position NMTOKEN #REQUIRED
82 meta NMTOKENS #IMPLIED
87 <!ELEMENT CONSTANT %constant;>
89 xmlns CDATA #FIXED "http://lambdadelta.info/"
90 hierarchy NMTOKEN #REQUIRED
91 options NMTOKENS #IMPLIED