Modified Files:

1) theory_pres.xsl: syntax error

diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl
index d298418ae374b7a939fef1b693e0aa709f103b00..aa23acbe0ed5b35cbdd6997d096181a29777533b 100644 (file)
--- a/helm/style/theory_pres.xsl
+++ b/helm/style/theory_pres.xsl
@@ -61,6 +61,7 @@
 <xsl:template match="THEOREM|LEMMA|COROLLARY|FACT">
      <h4><xsl:value-of select="name(.)"/><xsl:text>&#x00a0;</xsl:text><a href="{@uri}"><xsl:value-of select="@name"/></a></h4>
     <ENTITY uri="{@uri}" type="1"/>
+</xsl:template>
 
 <xsl:template match="AXIOM|DEFINITION|VARIABLE">
      <h4><xsl:value-of select="name(.)"/><xsl:text>&#x00a0;</xsl:text><a href="{@uri}"><xsl:value-of select="@name"/></a></h4>