X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld.dtd;h=1a3103c2a3de79316e9e698c32f33167242bea6b;hb=39b42ed90bc74c8b6293842f1ac4aca60fc0c37e;hp=c167640219002581408190033f08a1b9f3c7386e;hpb=bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld.dtd b/helm/software/lambda-delta/xml/ld.dtd
index c16764021..1a3103c2a 100644
--- a/helm/software/lambda-delta/xml/ld.dtd
+++ b/helm/software/lambda-delta/xml/ld.dtd
@@ -12,65 +12,63 @@
 
 <!ELEMENT Sort EMPTY>
 <!ATTLIST Sort
-          position NMTOKEN  #REQUIRED
-          name     NMTOKENS #IMPLIED
-          mark     NMTOKENS #IMPLIED
-	  meta     CDATA    #IMPLIED
+          position NMTOKEN #REQUIRED
+          name     NMTOKEN #IMPLIED
+          mark     NMTOKEN #IMPLIED
+	  meta     CDATA   #IMPLIED
 >
 
 <!ELEMENT LRef EMPTY>
 <!ATTLIST LRef
-          position NMTOKEN  #REQUIRED
-          name     NMTOKENS #IMPLIED
-          mark     NMTOKENS #IMPLIED
-	  meta     CDATA    #IMPLIED
+          position NMTOKEN #REQUIRED
+          name     NMTOKEN #IMPLIED
+          mark     NMTOKEN #IMPLIED
+	  meta     CDATA   #IMPLIED
 >
 
 <!ELEMENT GRef EMPTY>
 <!ATTLIST GRef
-          uri  CDATA    #REQUIRED
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
-	  meta CDATA    #IMPLIED
+          uri  CDATA   #REQUIRED
+          name NMTOKEN #IMPLIED
+          mark NMTOKEN #IMPLIED
+	  meta CDATA   #IMPLIED
 >
 
 <!ELEMENT Cast %term;>
 <!ATTLIST Cast
-          name  NMTOKENS #IMPLIED
-          arity NMTOKENS #IMPLIED
-          mark  NMTOKENS #IMPLIED
-	  meta  CDATA    #IMPLIED
+          arity NMTOKEN #IMPLIED
+          mark  NMTOKEN #IMPLIED
+	  meta  CDATA   #IMPLIED
 >
 
 <!ELEMENT Appl %term;>
 <!ATTLIST Appl
-          name  NMTOKENS #IMPLIED
-          arity NMTOKENS #IMPLIED
-          mark  NMTOKENS #IMPLIED
-	  meta  CDATA    #IMPLIED
+          arity NMTOKEN #IMPLIED
+          mark  NMTOKEN #IMPLIED
+	  meta  CDATA   #IMPLIED
 >
 
 <!ELEMENT Abst %term;>
 <!ATTLIST Abst
           name  NMTOKENS #IMPLIED
-          arity NMTOKENS #IMPLIED
-          mark  NMTOKENS #IMPLIED
+          arity NMTOKEN  #IMPLIED
+          mark  NMTOKEN  #IMPLIED
 	  meta  CDATA    #IMPLIED
 >
 
 <!ELEMENT Abbr %term;>
 <!ATTLIST Abbr
           name  NMTOKENS #IMPLIED
-          arity NMTOKENS #IMPLIED
-          mark  NMTOKENS #IMPLIED
+          arity NMTOKEN  #IMPLIED
+          mark  NMTOKEN  #IMPLIED
 	  meta  CDATA    #IMPLIED
 >
 
 <!ELEMENT Void EMPTY>
 <!ATTLIST Void
           name  NMTOKENS #IMPLIED
-          arity NMTOKENS #IMPLIED
-	  mark  NMTOKENS #IMPLIED
+          arity NMTOKEN  #IMPLIED
+	  mark  NMTOKEN  #IMPLIED
 	  meta  CDATA    #IMPLIED
 >
 
@@ -80,18 +78,18 @@
 
 <!ELEMENT ABST %term;>
 <!ATTLIST ABST
-          uri  CDATA    #REQUIRED
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
-	  meta CDATA    #IMPLIED
+          uri  CDATA   #REQUIRED
+          name NMTOKEN #IMPLIED
+          mark NMTOKEN #IMPLIED
+	  meta CDATA   #IMPLIED
 >
 
 <!ELEMENT ABBR %term;>
 <!ATTLIST ABBR
-          uri  CDATA    #REQUIRED
-          name NMTOKENS #IMPLIED
-          mark NMTOKENS #IMPLIED
-	  meta CDATA    #IMPLIED
+          uri  CDATA   #REQUIRED
+          name NMTOKEN #IMPLIED
+          mark NMTOKEN #IMPLIED
+	  meta CDATA   #IMPLIED
 >
 
 <!-- ROOT -->