From 461ed7af5b5a332fdee38f85e9b744fd79dc3889 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 19 Mar 2001 12:47:45 +0000
Subject: [PATCH] Modified Files: 1) theory_pres.xsl: syntax error

---
 helm/style/theory_pres.xsl | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.39.2