From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Dec 2002 17:03:12 +0000 (+0000)
Subject: Bug fixed: beta-redex transformations to LetIn were bugged when the lambda
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d2231920c2babb294474bbc9914f971c8336b3b5;p=helm.git

Bug fixed: beta-redex transformations to LetIn were bugged when the lambda
had two or more decls.
---

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 6f49a2678..69c893613 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -257,7 +257,7 @@
        </m:ci>
       </m:bvar>
       <xsl:apply-templates mode="noannot" select="*[2]"/>
-      <xsl:apply-templates mode="proof_transform" select="*[1]/target/*[1]"/>
+      <xsl:apply-templates mode="lambda_prop" select="*[1]/*[2]"/>
      </m:apply>
     </xsl:when>
     <xsl:otherwise>