]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xml/ld.dtd
update in basic_2
[helm.git] / helm / www / lambdadelta / xml / ld.dtd
index a6bb14c8850a7e603048648f9981a358101dc050..0fb547e45bf00fbc2557662ca92ebb488f9c65a2 100644 (file)
@@ -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