From 22344b1810548a3a75e0a7f36d23e8f8117ff633 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 13:25:02 +0000
Subject: [PATCH] I don't know

---
 helm/style/mmlextension.xsl | 7 +++++++
 helm/style/proofs.xsl       | 1 +
 2 files changed, 8 insertions(+)

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 566ccdf0a..87e31e8ae 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -803,6 +803,7 @@
           <m:mtd>
            <m:mrow>
             <m:mtext color="#b03060">we proved </m:mtext>
+            <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
             <xsl:apply-templates select="*[position()=3]"/>
            </m:mrow>
           </m:mtd>
@@ -913,6 +914,7 @@
             <m:mtext>(</m:mtext>
             <xsl:apply-templates select="*[3]"/>
             <m:mtext>)</m:mtext>
+            <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
             <xsl:apply-templates select="*[4]"/>
             </m:mrow>
           </m:mtd>
@@ -923,6 +925,7 @@
             <m:mtext>(</m:mtext>
             <xsl:apply-templates select="*[5]"/>
             <m:mtext>)</m:mtext>
+            <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
             <xsl:apply-templates select="*[6]"/>
             </m:mrow>
           </m:mtd>
@@ -1012,6 +1015,8 @@
          <m:mtr>
           <m:mtd>
            <m:mrow>
+            <m:mtext color="#b03060">we get</m:mtext>
+            <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
             <xsl:apply-templates select="."/>
            </m:mrow>
           </m:mtd>
@@ -1028,6 +1033,8 @@
          <m:mtr>
           <m:mtd>
            <m:mrow>
+            <m:mtext color="#b03060">we get</m:mtext>
+            <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
             <xsl:apply-templates select="."/>
            </m:mrow>
           </m:mtd>
diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 8265e079e..a3f2a1507 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -145,6 +145,7 @@
         <m:csymbol>thread</m:csymbol>
         <xsl:apply-templates mode="pure" select="//ALLTYPES/TYPE[@id=$id]"/>
         <m:apply>
+         <m:csymbol>app</m:csymbol>
          <xsl:apply-templates mode="copy-of-no-prop" select="*[1]"/>
         </m:apply>
         <xsl:apply-templates mode="thread" select="*[@id = //ALLTYPES/TYPE/@id]"/>
-- 
2.39.2