- the connections between the intermediate language and the "bag"

[helm.git] / helm / software / lambda-delta / xml / ld.dtd

diff --git a/helm/software/lambda-delta/xml/ld.dtd b/helm/software/lambda-delta/xml/ld.dtd
index d97173d8279fb5202bef9542f2998f1a3abadc6b..539e8a28fabee27e14348307265da67e8f7252d4 100644 (file)
--- a/helm/software/lambda-delta/xml/ld.dtd
+++ b/helm/software/lambda-delta/xml/ld.dtd
@@ -53,7 +53,8 @@
 
 <!ELEMENT Abst %terms;>
 <!ATTLIST Abst
-          name  NMTOKENS #IMPLIED
+          level NMTOKEN  #IMPLIED
+         name  NMTOKENS #IMPLIED
           arity NMTOKEN  #IMPLIED
           mark  NMTOKEN  #IMPLIED
          meta  CDATA    #IMPLIED
@@ -81,10 +82,11 @@
 
 <!ELEMENT ABST %term;>
 <!ATTLIST ABST
-          uri  CDATA   #REQUIRED
-          name NMTOKEN #IMPLIED
-          mark NMTOKEN #IMPLIED
-         meta CDATA   #IMPLIED
+          uri   CDATA   #REQUIRED
+          level NMTOKEN #IMPLIED
+          name  NMTOKEN #IMPLIED
+          mark  NMTOKEN #IMPLIED
+         meta  CDATA   #IMPLIED
 >
 
 <!ELEMENT ABBR %term;>