X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcic.dtd;h=47280b845aa191e8359c5ae42b109340679dfc98;hb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;hp=088c78abf4e866db8ca82d1604cebe9619de4a9b;hpb=1808f15362ca07bb4ad5b6802afbf6789683f0bd;p=helm.git

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index 088c78abf..47280b845 100644
--- a/helm/dtd/cic.dtd
+++ b/helm/dtd/cic.dtd
@@ -91,7 +91,8 @@
 
 <!ELEMENT Conjecture %sequent;>
 <!ATTLIST Conjecture
-          no NMTOKEN #REQUIRED>
+          no NMTOKEN #REQUIRED
+          id ID      #REQUIRED>
 
 <!ELEMENT Constructor %term;>
 <!ATTLIST Constructor
@@ -99,13 +100,17 @@
 
 <!ELEMENT Decl %term;>
 <!ATTLIST Decl
-          name CDATA #IMPLIED>
+          name CDATA #IMPLIED
+          id   ID    #REQUIRED>
 
 <!ELEMENT Def %term;>
 <!ATTLIST Def
-          name CDATA #IMPLIED>
+          name CDATA #IMPLIED
+          id   ID    #REQUIRED>
 
 <!ELEMENT Hidden EMPTY>
+<!ATTLIST Hidden
+          id ID #REQUIRED>
 
 <!ELEMENT Goal %term;>