Declaration and Definition renamed to Decl and Def because

[helm.git] / helm / style / mmlextension.xsl

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 65a2b4612f01e90d00ffcadd01d3261bc50e3a81..6e766e3528c6ecf705b849896e854901a839d1c4 100644 (file)
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -365,7 +365,7 @@ which generates the toplevel element (see for instance xlink) -->
 
 <xsl:template match="Sequent">
  <xsl:variable name="rowlines">
-  <xsl:for-each select="Declaration|Definition">
+  <xsl:for-each select="Decl|Def">
    <xsl:if test="position() != last()">
     <xsl:text>none </xsl:text>
    </xsl:if>
@@ -374,13 +374,13 @@ which generates the toplevel element (see for instance xlink) -->
  </xsl:variable>
     <m:math>
      <m:mtable align="baseline 1" equalrows="false" columnalign="left" helm:xref="{@helm:xref}" rowlines="{$rowlines}">
-      <xsl:for-each select="Declaration|Definition">
+      <xsl:for-each select="Decl|Def">
        <m:mtr>
         <m:mtd>
          <m:mrow>
           <m:mi><xsl:value-of select="@name"/></m:mi>
           <xsl:choose>
-           <xsl:when test="name(.) = 'Declaration'">
+           <xsl:when test="name(.) = 'Decl'">
             <m:mo>:</m:mo>
            </xsl:when>
            <xsl:otherwise>
@@ -392,7 +392,7 @@ which generates the toplevel element (see for instance xlink) -->
         </m:mtd>
        </m:mtr>
       </xsl:for-each>
-      <xsl:if test="not(Declaration|Definition)">
+      <xsl:if test="not(Decl|Def)">
       <m:mtr>
        <m:mtd>
         <m:mrow>