X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxml%2Fld.dtd;h=0fb547e45bf00fbc2557662ca92ebb488f9c65a2;hb=5e5f9111df82a2f84f2b560ab59392cf0e0906c0;hp=a01238d91fb694483d9f9add7a73cbffb7c8b395;hpb=9935a5bf5bdc98ad01a2b0234cf4e612a62c939f;p=helm.git

diff --git a/helm/www/lambdadelta/xml/ld.dtd b/helm/www/lambdadelta/xml/ld.dtd
index a01238d91..0fb547e45 100644
--- a/helm/www/lambdadelta/xml/ld.dtd
+++ b/helm/www/lambdadelta/xml/ld.dtd
@@ -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
 >