]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xml/ld.dtd
lddl update with the disambiguated "grundlagen"
[helm.git] / helm / www / lambdadelta / xml / ld.dtd
index a01238d91fb694483d9f9add7a73cbffb7c8b395..0fb547e45bf00fbc2557662ca92ebb488f9c65a2 100644 (file)
@@ -45,7 +45,7 @@
 
 <!ELEMENT Abst %term;>
 <!ATTLIST Abst
-          level    NMTOKEN #IMPLIED
+          layer    NMTOKEN #IMPLIED
           position NMTOKEN #REQUIRED
          name     NMTOKEN #IMPLIED
 >
@@ -88,4 +88,5 @@
 <!ATTLIST CONSTANT
           xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
          hierarchy NMTOKEN  #REQUIRED
+          options   NMTOKENS #IMPLIED
 >