X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxml%2Fld.dtd;h=0fb547e45bf00fbc2557662ca92ebb488f9c65a2;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=a6bb14c8850a7e603048648f9981a358101dc050;hpb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;p=helm.git

diff --git a/helm/www/lambdadelta/xml/ld.dtd b/helm/www/lambdadelta/xml/ld.dtd
index a6bb14c88..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
 >
@@ -62,7 +62,7 @@
 
 <!-- ENVIRONMENT ENTRIES -->
 
-<!ENTITY % entity '(GDec|GDef)'> 
+<!ENTITY % constant '(GDec|GDef)'> 
 
 <!ELEMENT GDec %term;>
 <!ATTLIST GDec
@@ -84,8 +84,8 @@
 	  info     CDATA    #IMPLIED
 >
 
-<!ELEMENT ENTITY %entity;>
-<!ATTLIST ENTITY
+<!ELEMENT CONSTANT %constant;>
+<!ATTLIST CONSTANT
           xmlns     CDATA    #FIXED    "http://lambdadelta.info/"
 	  hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED