1 <?xml encoding="ISO-8859-1"?>
3 <!--*****************************************************************-->
4 <!-- DTD FOR INNER TYPES: -->
5 <!-- First draft: November 11 2000, Claudio Sacerdoti Coen -->
6 <!--*****************************************************************-->
8 <!ENTITY % cicdtd SYSTEM "http://localhost:8081/getdtd?uri=cic.dtd">
12 <!ELEMENT InnerTypes (TYPE*)>
16 <!ELEMENT TYPE (%term;)>