Proof explosion blocked after lambda-abstractions.

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 399ab10191e99f5b942f096d85e7594d3b9a7ecd..6e7ff7ca510fec16a2887df9dddeadf81d974841 100644 (file)
--- 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"/>