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           mark     NMTOKEN #IMPLIED
  18 >
  19
  20 <!ELEMENT LRef EMPTY>
  21 <!ATTLIST LRef
  22           position NMTOKEN #REQUIRED
  23           name     CDATA   #IMPLIED
  24           mark     NMTOKEN #IMPLIED
  25 >
  26
  27 <!ELEMENT GRef EMPTY>
  28 <!ATTLIST GRef
  29           uri  CDATA   #REQUIRED
  30           name CDATA   #IMPLIED
  31           mark NMTOKEN #IMPLIED
  32 >
  33
  34 <!ELEMENT Cast %term;>
  35 <!ATTLIST Cast
  36           name CDATA   #IMPLIED
  37           mark NMTOKEN #IMPLIED
  38 >
  39
  40 <!ELEMENT Appl %term;>
  41 <!ATTLIST Appl
  42           name CDATA   #IMPLIED
  43           mark NMTOKEN #IMPLIED
  44 >
  45
  46 <!ELEMENT Abst %term;>
  47 <!ATTLIST Abst
  48           name CDATA   #IMPLIED
  49           mark NMTOKEN #IMPLIED
  50 >
  51
  52 <!ELEMENT Abbr %term;>
  53 <!ATTLIST Abbr
  54           name CDATA   #IMPLIED
  55           mark NMTOKEN #IMPLIED
  56 >
  57
  58 <!ELEMENT Void EMPTY>
  59 <!ATTLIST Void
  60           name CDATA   #IMPLIED
  61           mark NMTOKEN #IMPLIED
  62 >
  63
  64 <!-- ENVIRONMENT ENTRIES -->
  65
  66 <!ENTITY % entity '(ABST|ABBR)'>
  67
  68 <!ELEMENT ABST %term;>
  69 <!ATTLIST ABST
  70           uri  CDATA   #REQUIRED
  71           name CDATA   #IMPLIED
  72           mark NMTOKEN #IMPLIED
  73 >
  74
  75 <!ELEMENT ABBR %term;>
  76 <!ATTLIST ABBR
  77           uri  CDATA   #REQUIRED
  78           name CDATA   #IMPLIED
  79           mark NMTOKEN #IMPLIED
  80 >
  81
  82 <!-- ROOT -->
  83
  84 <!ELEMENT ENTITY %entity;>
  85 <!ATTLIST ENTITY
  86           hierarchy NMTOKEN  #REQUIRED
  87           options   NMTOKENS #IMPLIED
  88 >