From 4bae9fcb306937a11bef3e8f062cc5d78f7475e9 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Thu, 18 Apr 2002 09:41:19 +0000
Subject: [PATCH] Modified Files: 1) arith.xsl: ci -> cn for O

---
 helm/style/arith.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 73616e353..5c46c390f 100644
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -56,7 +56,7 @@ 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}">
-- 
2.39.2