From 4feececb8dc9a6893446576d79820d28f73d5338 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Aug 2001 15:43:47 +0000
Subject: [PATCH] Proof explosion blocked after lambda-abstractions.

---
 helm/style/content_to_html.xsl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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"/>
-- 
2.39.2