]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xml/ld.dtd
- bugfix is refreshed state of AutCrg: now we return a fresh state
[helm.git] / helm / www / lambdadelta / xml / ld.dtd
index a6bb14c8850a7e603048648f9981a358101dc050..a01238d91fb694483d9f9add7a73cbffb7c8b395 100644 (file)
@@ -62,7 +62,7 @@
 
 <!-- ENVIRONMENT ENTRIES -->
 
-<!ENTITY % entity '(GDec|GDef)'> 
+<!ENTITY % constant '(GDec|GDef)'> 
 
 <!ELEMENT GDec %term;>
 <!ATTLIST GDec
@@ -84,9 +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
 >