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 ALLTYPES (TYPE*)>
  13
  14 <!ELEMENT TYPE (%term;)>
  15 <!ATTLIST TYPE
  16           id  NMTOKEN #REQUIRED>