helm/dtd/cictypes.dtd

   1 <?xml encoding="ISO-8859-1"?>
   2
   3 <!--*****************************************************************-->
   4 <!-- DTD FOR INNER TYPES:                                            -->
   5 <!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
   6 <!--*****************************************************************-->
   7
   8 <!ENTITY % cicdtd SYSTEM "cic.dtd">
   9
  10 %cicdtd;
  11
  12 <!ELEMENT InnerTypes (TYPE*)>
  13 <!ATTLIST InnerTypes
  14           of  CDATA      #REQUIRED>
  15
  16 <!ELEMENT TYPE (%term;)>
  17 <!ATTLIST TYPE
  18           of  NMTOKEN #REQUIRED>