X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fproofs.xsl;h=dbcfabaa31ae67ac9ba1a47771de7a024e000ec6;hb=000ee25879c192864cfaa0ebc27cc91a896378df;hp=6f49a2678db95f6c33454fb75819f42db5a4015e;hpb=56e7429421ba1264c40e4f7d00bf1c038ece6f80;p=helm.git

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 6f49a2678..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 -->
@@ -257,7 +256,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>
@@ -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"/>