<!-- 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>