From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 19 Mar 2001 12:47:45 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: v0_1_2~60
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=461ed7af5b5a332fdee38f85e9b744fd79dc3889;p=helm.git

Modified Files:
1) theory_pres.xsl: syntax error
---

diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl
index d298418ae..aa23acbe0 100644
--- 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>