helm/dtd/theoryobject.dtd

   1 <?xml encoding="ISO-8859-1"?>
   2
   3 <!--*****************************************************************-->
   4 <!-- DTD FOR THEORY OBJECTS AT LEVEL OF MATHML CONTENT:              -->
   5 <!-- First draft: May 9 2000, Irene Schena                           -->
   6 <!--*****************************************************************-->
   7
   8 <!ENTITY % cicobj SYSTEM "cicobject.dtd">
   9
  10 %cicobj;
  11
  12 <!-- THEORY section: -->
  13
  14 <!ELEMENT SECTION (SECTION|Definition|Axiom|InductiveDefinition|Variable)*>