X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld.dtd;fp=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld.dtd;h=3939d6f5b743a041cb701333b1220ebc735e5267;hb=fa5cd121c672589afc0ac8ddd5d184897a38c7c6;hp=0378bb3979eae401c68cbe36a11bb8e408011cb9;hpb=5280ec9794de75e63ffc01bddf1756ebcca02be0;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld.dtd b/helm/software/lambda-delta/xml/ld.dtd
index 0378bb397..3939d6f5b 100644
--- a/helm/software/lambda-delta/xml/ld.dtd
+++ b/helm/software/lambda-delta/xml/ld.dtd
@@ -82,24 +82,29 @@
 
 <!ELEMENT ABST %term;>
 <!ATTLIST ABST
-          uri   CDATA   #REQUIRED
-          level NMTOKEN #IMPLIED
-          name  NMTOKEN #IMPLIED
-          mark  NMTOKEN #IMPLIED
-	  meta  CDATA   #IMPLIED
+          uri   CDATA    #REQUIRED
+          level NMTOKEN  #IMPLIED
+          name  NMTOKEN  #IMPLIED
+          mark  NMTOKEN  #IMPLIED
+	  meta  NMTOKENS #IMPLIED
+	  lang  NMTOKEN  "en-US"
+	  info  CDATA    #IMPLIED
 >
 
 <!ELEMENT ABBR %term;>
 <!ATTLIST ABBR
-          uri  CDATA   #REQUIRED
-          name NMTOKEN #IMPLIED
-          mark NMTOKEN #IMPLIED
-	  meta CDATA   #IMPLIED
+          uri  CDATA    #REQUIRED
+          name NMTOKEN  #IMPLIED
+          mark NMTOKEN  #IMPLIED
+	  meta NMTOKENS #IMPLIED
+	  lang NMTOKEN  "en-US"
+	  info CDATA    #IMPLIED
 >
 
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
-          hierarchy NMTOKEN  #REQUIRED
+          xmlns     CDATA    #FIXED    "http://lambda-delta.info"
+	  hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
 
@@ -130,5 +135,6 @@
 
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
-          uri  CDATA   #REQUIRED
+          xmlns CDATA #FIXED    "http://lambda-delta.info"
+          uri   CDATA #REQUIRED
 >