From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 13:25:02 +0000 (+0000)
Subject: I don't know
X-Git-Tag: nogzip~159
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=22344b1810548a3a75e0a7f36d23e8f8117ff633;p=helm.git

I don't know
---

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