pure ==> proof_transform for the "by" part of rewriting

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 306b48fbc3d7821bdbae9f5f851a95f7c846e796..b0d4cba728bea3e99e1a0d6ef171ff4f51c9886a 100644 (file)
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -172,7 +172,7 @@
        <xsl:apply-templates mode="noannot" select="*[5]"/>
        <xsl:apply-templates mode="pure" select="*[3]"/>
        <xsl:apply-templates mode="pure" select="*[6]"/>
-       <xsl:apply-templates mode="pure" select="*[7]"/>
+       <xsl:apply-templates mode="proof_transform" select="*[7]"/>
       </m:apply>
     </xsl:when>
     <!-- EQUALITY with extra-parameters -->