ocaml 3.09 transition

[helm.git] / helm / nuprl_stylesheets / nuprl_html_arith.xsl

diff --git a/helm/nuprl_stylesheets/nuprl_html_arith.xsl b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
index 995a23c75a4e5305902a9dd1520e00a34cd54e32..74cec306adad68356ae5b803ac8144d27058b562 100644 (file)
--- a/helm/nuprl_stylesheets/nuprl_html_arith.xsl
+++ b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
@@ -22,56 +22,56 @@
 <!--leq-->
   <xsl:variable name="leq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xA3;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2264;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xA3;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2264;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--lt-->
   <xsl:variable name="lt">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&lt;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&lt; </xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&lt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&lt; </xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--geq-->
   <xsl:variable name="geq">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&#xB3;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2265;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xB3;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2265;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--gt-->
   <xsl:variable name="gt">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">&gt;</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&gt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&gt;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&gt;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--plus-->
   <xsl:variable name="plus">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">+</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">+</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">+</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">+</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--minus-->
   <xsl:variable name="minus">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">-</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">-</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">-</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">-</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>
 <!--times-->
   <xsl:variable name="times">
     <xsl:choose>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">*</xsl:when>
-      <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">&#x2217;</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">*</xsl:when>
+      <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2217;</xsl:when>
       <xsl:otherwise>???</xsl:otherwise>
     </xsl:choose>
   </xsl:variable>