]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/cictypes.dtd
cache usage fixed
[helm.git] / helm / dtd / cictypes.dtd
index 73d459263ebcd01906a7996ba8ac7b4f38c702d4..bb98567311e3db336081fcde3668a3264bbb8adf 100644 (file)
@@ -5,12 +5,14 @@
 <!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
 <!--*****************************************************************-->
 
-<!ENTITY % cicdtd SYSTEM "cic.dtd">
+<!ENTITY % cicdtd SYSTEM "http://localhost:8081/getdtd?uri=cic.dtd">
 
 %cicdtd;
 
-<!ELEMENT ALLTYPES (TYPE*)>
+<!ELEMENT InnerTypes (TYPE*)>
+<!ATTLIST InnerTypes
+          of  CDATA      #REQUIRED>
 
 <!ELEMENT TYPE (%term;)>
 <!ATTLIST TYPE
-          id  NMTOKEN #REQUIRED>
+          of  NMTOKEN #REQUIRED>