From 6211eb6044a69430bb69e05ebb9b39994e8f8f20 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 13 Dec 2002 09:58:48 +0000
Subject: [PATCH] Last commit before major modifications to do.

---
 helm/style/proofs.xsl      | 2 --
 helm/style/rootcontent.xsl | 2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 69c893613..dbcfabaa3 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -43,7 +43,6 @@
 
 <!-- Proof objects -->
 
-<!-- <xsl:key name="typeid" use="@of" match="TYPE"/> -->
 <xsl:key name="typeid" use="@of" match="TYPE"/>
 
 <!-- These elements do not have inner type -->
@@ -394,7 +393,6 @@
    </xsl:choose>
 </xsl:template>
 
-
 <xsl:template name="gen_let">
  <xsl:param name="init_pos" select="1"/>
  <xsl:param name="from" select="0"/>
diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl
index 5d2eb2e4c..addef615b 100644
--- a/helm/style/rootcontent.xsl
+++ b/helm/style/rootcontent.xsl
@@ -77,7 +77,7 @@
 
 <!-- WARNING: Using lazy evaluation: $CICURI.* may not exist, but -->
 <!-- document() is called only by need!!!                         -->
-<xsl:variable name="InnerTypes" select="document($InnerTypesUrl)"/> 
+<xsl:variable name="InnerTypes" select="document($InnerTypesUrl)"/>
 <xsl:variable name="CICAnnotations" select="document($AnnotationsUrl)"/> 
 
 <xsl:include href="headercontent.xsl"/>
-- 
2.39.2