helm/software/lambda-delta/xml/ld.dtd

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- DTD for persistent lambda-delta logical data -->
   4
   5 <!-- TERMS -->
   6
   7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
   8
   9 <!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
  10
  11 <!ENTITY % term '(%node;*,%leaf;)'>
  12
  13 <!ELEMENT Sort EMPTY>
  14 <!ATTLIST Sort
  15           position NMTOKEN #REQUIRED
  16           name     CDATA   #IMPLIED
  17 >
  18
  19 <!ELEMENT LRef EMPTY>
  20 <!ATTLIST LRef
  21           position NMTOKEN #REQUIRED
  22           name     CDATA   #IMPLIED
  23 >
  24
  25 <!ELEMENT GRef EMPTY>
  26 <!ATTLIST GRef
  27           uri  CDATA #REQUIRED
  28           name CDATA #IMPLIED
  29 >
  30
  31 <!ELEMENT Cast %term;>
  32 <!ATTLIST Cast
  33           name CDATA #IMPLIED
  34 >
  35
  36 <!ELEMENT Appl %term;>
  37 <!ATTLIST Appl
  38           name CDATA #IMPLIED
  39 >
  40
  41 <!ELEMENT Abst %term;>
  42 <!ATTLIST Abst
  43           name CDATA #IMPLIED
  44 >
  45
  46 <!ELEMENT Abbr %term;>
  47 <!ATTLIST Abbr
  48           name CDATA #IMPLIED
  49 >
  50
  51 <!ELEMENT Void EMPTY>
  52 <!ATTLIST Void
  53           name CDATA #IMPLIED
  54 >
  55
  56 <!-- ENVIRONMENT ENTRIES -->
  57
  58 <!ENTITY % entry '(ABST|ABBR|VOID)'>
  59
  60 <!ELEMENT ABST %term;>
  61 <!ATTLIST ABST
  62           uri  CDATA #REQUIRED
  63           name CDATA #IMPLIED
  64 >
  65
  66 <!ELEMENT ABBR %term;>
  67 <!ATTLIST ABBR
  68           uri  CDATA #REQUIRED
  69           name CDATA #IMPLIED
  70 >
  71
  72 <!ELEMENT VOID EMPTY>
  73 <!ATTLIST VOID
  74           uri  CDATA #REQUIRED
  75           name CDATA #IMPLIED
  76 >
  77
  78 <!-- ROOT -->
  79
  80 <!ELEMENT ENTRY %entry;>
  81 <!ATTLIST ENTRY
  82           hierarchy NMTOKEN  #REQUIRED
  83           options   NMTOKENS #IMPLIED
  84 >