]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/cictypes.dtd
Updated to V7 after V6-2 tag creation
[helm.git] / helm / dtd / cictypes.dtd
index 73d459263ebcd01906a7996ba8ac7b4f38c702d4..7d9581782821c6f9780e63f1f4a08212771246cd 100644 (file)
@@ -9,8 +9,10 @@
 
 %cicdtd;
 
-<!ELEMENT ALLTYPES (TYPE*)>
+<!ELEMENT InnerTypes (TYPE*)>
+<!ATTLIST InnerTypes
+          of  CDATA      #REQUIRED>
 
 <!ELEMENT TYPE (%term;)>
 <!ATTLIST TYPE
-          id  NMTOKEN #REQUIRED>
+          of  NMTOKEN #REQUIRED>