DTD for inner types of V6.2 created

[helm.git] / helm / dtd / cictypes.dtd

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
new file mode 100644 (file)
index 0000000..73d4592
--- /dev/null
+++ b/helm/dtd/cictypes.dtd
@@ -0,0 +1,16 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!--*****************************************************************-->
+<!-- DTD FOR INNER TYPES:                                            -->
+<!--  First draft: November 11 2000, Claudio Sacerdoti Coen         -->
+<!--*****************************************************************-->
+
+<!ENTITY % cicdtd SYSTEM "cic.dtd">
+
+%cicdtd;
+
+<!ELEMENT ALLTYPES (TYPE*)>
+
+<!ELEMENT TYPE (%term;)>
+<!ATTLIST TYPE
+          id  NMTOKEN #REQUIRED>