From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Aug 2001 15:43:47 +0000 (+0000)
Subject: Proof explosion blocked after lambda-abstractions.
X-Git-Tag: v0_1_3~88
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4feececb8dc9a6893446576d79820d28f73d5338;p=helm.git

Proof explosion blocked after lambda-abstractions.
---

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 399ab1019..6e7ff7ca5 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -1084,7 +1084,8 @@
        </span>
        <xsl:choose>
         <xsl:when test="(preceding-sibling::*[1]/text()='letin1') or
-                        (preceding-sibling::*[1]/text()='rw_step')">
+                        (preceding-sibling::*[1]/text()='rw_step') or
+                        (name(..)='m:lambda')">
          <br/>
          <xsl:call-template name="make_indent">
           <xsl:with-param name="current_indent" select="$current_indent"/>