X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxml%2Fld.dtd;h=4cb01e225959b5b02b064a1c1e01feb418684734;hb=7562d9781dc4f351ddc3b2f8edd21f4976621948;hp=52afce570a5a8a34d482afe38ad2b2287a60a26d;hpb=39cf453a20e35416d0fd932cc5bf14733e918587;p=helm.git

diff --git a/helm/www/lambdadelta/xml/ld.dtd b/helm/www/lambdadelta/xml/ld.dtd
index 52afce570..4cb01e225 100644
--- a/helm/www/lambdadelta/xml/ld.dtd
+++ b/helm/www/lambdadelta/xml/ld.dtd
@@ -16,86 +16,61 @@
 <!ATTLIST Sort
           position NMTOKEN #REQUIRED
           name     NMTOKEN #IMPLIED
-          mark     NMTOKEN #IMPLIED
-	  meta     CDATA   #IMPLIED
 >
 
 <!ELEMENT LRef EMPTY>
 <!ATTLIST LRef
           position NMTOKEN #REQUIRED
-	  offset   NMTOKEN #IMPLIED
           name     NMTOKEN #IMPLIED
-          mark     NMTOKEN #IMPLIED
-	  meta     CDATA   #IMPLIED
 >
 
 <!ELEMENT GRef EMPTY>
 <!ATTLIST GRef
           uri  CDATA   #REQUIRED
           name NMTOKEN #IMPLIED
-          mark NMTOKEN #IMPLIED
-	  meta CDATA   #IMPLIED
 >
 
 <!ELEMENT Cast %term;>
 <!ATTLIST Cast
-          arity NMTOKEN #IMPLIED
-          mark  NMTOKEN #IMPLIED
-	  meta  CDATA   #IMPLIED
 >
 
 <!ELEMENT Appl %terms;>
 <!ATTLIST Appl
-          arity NMTOKEN #IMPLIED
-          mark  NMTOKEN #IMPLIED
-	  meta  CDATA   #IMPLIED
 >
 
 <!ELEMENT Abst %terms;>
 <!ATTLIST Abst
-          level NMTOKEN  #IMPLIED
-	  name  NMTOKENS #IMPLIED
-          arity NMTOKEN  #IMPLIED
-          mark  NMTOKEN  #IMPLIED
-	  meta  CDATA    #IMPLIED
+          level NMTOKEN #IMPLIED
+	  name  NMTOKEN #IMPLIED
 >
 
 <!ELEMENT Abbr %terms;>
 <!ATTLIST Abbr
-          name  NMTOKENS #IMPLIED
-          arity NMTOKEN  #IMPLIED
-          mark  NMTOKEN  #IMPLIED
-	  meta  CDATA    #IMPLIED
+          name  NMTOKEN #IMPLIED
 >
 
 <!ELEMENT Void EMPTY>
 <!ATTLIST Void
-          name  NMTOKENS #IMPLIED
-          arity NMTOKEN  #IMPLIED
-	  mark  NMTOKEN  #IMPLIED
-	  meta  CDATA    #IMPLIED
+          name  NMTOKEN #IMPLIED
 >
 
 <!-- ENVIRONMENT ENTRIES -->
 
-<!ENTITY % entity '(ABST|ABBR)'> 
+<!ENTITY % entity '(GDec|GDef)'> 
 
-<!ELEMENT ABST %term;>
-<!ATTLIST ABST
+<!ELEMENT GDec %term;>
+<!ATTLIST GDec
           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
+<!ELEMENT GDef %term;>
+<!ATTLIST GDef
           uri  CDATA    #REQUIRED
           name NMTOKEN  #IMPLIED
-          mark NMTOKEN  #IMPLIED
 	  meta NMTOKENS #IMPLIED
 	  lang NMTOKEN  "en-US"
 	  info CDATA    #IMPLIED