X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fmaththeory.dtd;h=c424b032428f2990791892761d25efe453d63f4c;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=30d3ecf14f8d8ca31ef23dfdb9cde77d2154eb70;hpb=693937ecc156f6670572d555330b825652d35671;p=helm.git

diff --git a/helm/dtd/maththeory.dtd b/helm/dtd/maththeory.dtd
index 30d3ecf14..c424b0324 100644
--- a/helm/dtd/maththeory.dtd
+++ b/helm/dtd/maththeory.dtd
@@ -41,6 +41,11 @@
 <!ENTITY % mathstructure
   '(ht:AXIOM|ht:DEFINITION|ht:THEOREM|ht:VARIABLE|ht:SECTION|ht:MUTUAL)*'>
 
+<!ELEMENT ht:OBJECT EMPTY>
+<!ATTLIST ht:OBJECT
+          uri CDATA #REQUIRED
+          mode (typeonly|embed|linkonly) #REQUIRED>
+
 <!ELEMENT ht:AXIOM EMPTY>
 <!ATTLIST ht:AXIOM
           uri CDATA #REQUIRED