]> matita.cs.unibo.it Git - helm.git/commitdiff
DTD for inner types of V6.2 created
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2000 18:21:23 +0000 (18:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2000 18:21:23 +0000 (18:21 +0000)
helm/dtd/cictypes.dtd [new file with mode: 0644]

diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd
new file mode 100644 (file)
index 0000000..73d4592
--- /dev/null
@@ -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>