X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcictypes.dtd;h=bb98567311e3db336081fcde3668a3264bbb8adf;hb=658b654a8986b504936499ba6719999612806345;hp=73d459263ebcd01906a7996ba8ac7b4f38c702d4;hpb=1cd4dd7c3838fee49e5851c0ac7acf42f4fc3d67;p=helm.git

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
index 73d459263..bb9856731 100644
--- a/helm/dtd/cictypes.dtd
+++ b/helm/dtd/cictypes.dtd
@@ -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>