X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Farith.xsl;h=5c46c390f5187579052df6a58800ddd2b1350163;hb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;hp=0751b123c530f65ce246dc098430de58d4a3f24e;hpb=9615625bcabfb81bda129ee14c3bf396ba761416;p=helm.git

diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 0751b123c..5c46c390f 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -56,12 +56,12 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
    </xsl:apply-templates>
   </xsl:when>
   <xsl:when test="name()='MUTCONSTRUCT' and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='1'">
-   <m:ci helm:xref="{$iden}"><xsl:value-of select="$n"/></m:ci>
+   <m:cn helm:xref="{$iden}"><xsl:value-of select="$n"/></m:cn>
   </xsl:when>
   <xsl:otherwise>
    <m:apply helm:xref="{$iden}">
     <m:plus/>
-    <m:ci><xsl:value-of select="$n"/></m:ci>
+    <m:cn><xsl:value-of select="$n"/></m:cn>
     <xsl:apply-templates select="." mode="pure"/>
    </m:apply>
   </xsl:otherwise>