X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld.dtd;h=83cfc0596e0e8fdf96ce1d47859c482f3a5f5241;hb=4efe53bc2098939c255d5b03941212549f89a1bd;hp=49da5752196e3149e83f7bd559186c0b1d6053c5;hpb=51beb717ea0a68ae899e73b09cb67ea90b260b27;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld.dtd b/helm/software/lambda-delta/xml/ld.dtd
index 49da57521..83cfc0596 100644
--- a/helm/software/lambda-delta/xml/ld.dtd
+++ b/helm/software/lambda-delta/xml/ld.dtd
@@ -12,53 +12,53 @@
 
 <!ELEMENT Sort EMPTY>
 <!ATTLIST Sort
-          position NMTOKEN #REQUIRED
-          name     CDATA   #IMPLIED
-          mark     NMTOKEN #IMPLIED
+          position NMTOKEN  #REQUIRED
+          name     NMTOKENS #IMPLIED
+          mark     NMTOKENS #IMPLIED
 >
 
 <!ELEMENT LRef EMPTY>
 <!ATTLIST LRef
-          position NMTOKEN #REQUIRED
-          name     CDATA   #IMPLIED
-          mark     NMTOKEN #IMPLIED
+          position NMTOKEN  #REQUIRED
+          name     NMTOKENS #IMPLIED
+          mark     NMTOKENS #IMPLIED
 >
 
 <!ELEMENT GRef EMPTY>
 <!ATTLIST GRef
-          uri  CDATA   #REQUIRED
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          uri  CDATA    #REQUIRED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!ELEMENT Cast %term;>
 <!ATTLIST Cast
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!ELEMENT Appl %term;>
 <!ATTLIST Appl
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!ELEMENT Abst %term;>
 <!ATTLIST Abst
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!ELEMENT Abbr %term;>
 <!ATTLIST Abbr
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!ELEMENT Void EMPTY>
 <!ATTLIST Void
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!-- ENVIRONMENT ENTRIES -->
@@ -67,16 +67,16 @@
 
 <!ELEMENT ABST %term;>
 <!ATTLIST ABST
-          uri  CDATA   #REQUIRED
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          uri  CDATA    #REQUIRED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!ELEMENT ABBR %term;>
 <!ATTLIST ABBR
-          uri  CDATA   #REQUIRED
-          name CDATA   #IMPLIED
-          mark NMTOKEN #IMPLIED
+          uri  CDATA    #REQUIRED
+          name NMTOKENS #IMPLIED
+          mark NMTOKENS #IMPLIED
 >
 
 <!-- ROOT -->