<!-- Third draft: May 3 2001, Irene Schena -->
<!--*****************************************************************-->
-<!-- DA AGGIUNGERE:
-CONJECTURE (teo da dim)
-EXERCISE
-EXAMPLE -->
-
<!ENTITY % cicobj SYSTEM "cicobject.dtd">
%cicobj;
<!ELEMENT ht:SECTION (%theorystructure;)>
<!ATTLIST ht:SECTION
- name CDATA #REQUIRED>
+ uri CDATA #REQUIRED>
<!ELEMENT ht:MUTUAL (ht:DEFINITION,ht:DEFINITION+)>
<!ATTLIST ht:VARIABLE
uri CDATA #REQUIRED
as (Assumption|Hypothesis|LocalDefinition) #REQUIRED>
-
-
-
-
-
-
-
-
-
-