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