X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_content_to_html2.xsl;h=ef15f1961ab592f13a804062a9e9a558cba2f7ea;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=cc6e7c9cccee494274d07c21d7c12875924af0f7;hpb=4772f0cc5107b3809128e8ed0bbef4bfffbfe1ff;p=helm.git

diff --git a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
index cc6e7c9cc..ef15f1961 100644
--- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -159,7 +159,7 @@
     </xsl:choose>
   </xsl:variable>
 <!--exists-->
-  <xsl:variable name="exists">
+  <xsl:variable name="NUPRLexists">
     <xsl:choose>
       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#x24;</xsl:when>
       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#8707;</xsl:when>
@@ -2314,7 +2314,7 @@
 
 <xsl:template mode="inline" match="m:apply[m:exists]">
                <xsl:call-template name="mksymbol">
-		<xsl:with-param name="symbol" select="$exists"/>
+		<xsl:with-param name="symbol" select="$NUPRLexists"/>
         	<xsl:with-param name="color" select="'blue'"/>
 		<xsl:with-param name="size" select="'+0'"/>
 	</xsl:call-template>
@@ -2476,7 +2476,7 @@
 	<xsl:choose>
 	<xsl:when test="$charlength > $framewidth">
 	<xsl:call-template name="mksymbol">
-		<xsl:with-param name="symbol" select="$exists"/>
+		<xsl:with-param name="symbol" select="$NUPRLexists"/>
         	<xsl:with-param name="color" select="'blue'"/>
 		<xsl:with-param name="size" select="'+0'"/>
 	</xsl:call-template>