+++ /dev/null
-<?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)*>