This commit was manufactured by cvs2svn to create branch 'pacchetti'.

[helm.git] / helm / dtd / theoryobject.dtd

diff --git a/helm/dtd/theoryobject.dtd b/helm/dtd/theoryobject.dtd
deleted file mode 100644 (file)
index 8ff26cf..0000000
--- a/helm/dtd/theoryobject.dtd
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml encoding="ISO-8859-1"?>
-
-<!--*****************************************************************-->
-<!-- DTD FOR THEORY OBJECTS AT LEVEL OF MATHML CONTENT:              -->
-<!-- First draft: May 9 2000, Irene Schena                           -->
-<!--*****************************************************************-->
-
-<!ENTITY % cicobj SYSTEM "cicobject.dtd">
-
-%cicobj;
-
-<!-- THEORY section: -->
-
-<!ELEMENT SECTION (SECTION|Definition|Axiom|InductiveDefinition|Variable)*>