From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Nov 2000 18:21:23 +0000 (+0000)
Subject: DTD for inner types of V6.2 created
X-Git-Tag: nogzip~125
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1cd4dd7c3838fee49e5851c0ac7acf42f4fc3d67;p=helm.git

DTD for inner types of V6.2 created
---

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
new file mode 100644
index 000000000..73d459263
--- /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>