Modified Files:

[helm.git] / helm / style / theory_pres.xsl

diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl
index aa23acbe0ed5b35cbdd6997d096181a29777533b..e2745fd0625c3c4a01734e16714bec1cd64d0aa7 100644 (file)
--- a/helm/style/theory_pres.xsl
+++ b/helm/style/theory_pres.xsl
@@ -59,22 +59,13 @@
 </xsl:template>
 
 <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>
+    <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>
+    <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="0"/>
 </xsl:template>
 
 </xsl:stylesheet>
-
-
-
-
-
-
-
-
-