Modified Files:

[helm.git] / helm / style / basic.xsl

diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index a05a281b942c3ba77e2cb5e6a7a415bbef9e99f6..148912aa1d1a0f5ef90a59212db0ad69ccdbca61 100644 (file)
--- a/helm/style/basic.xsl
+++ b/helm/style/basic.xsl
@@ -66,7 +66,7 @@
      <xsl:choose>
       <xsl:when test="name(*[3]) = 'LAMBDA'">
        <m:bvar>
-        <m:ci><xsl:value-of select="LAMBDA/target/@binder"/></m:ci>
+        <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="LAMBDA/target/@binder"/></xsl:with-param></xsl:call-template></m:ci>
        </m:bvar>
        <xsl:apply-templates select="LAMBDA/target" mode="noannot"/>
       </xsl:when>
@@ -91,7 +91,7 @@
       <xsl:when test="name(*[3]) = 'LAMBDA'">
        <xsl:variable name="bvarname" select="*[3]/target/@binder"/>
        <m:bvar>
-        <m:ci><xsl:value-of select="$bvarname"/></m:ci>
+        <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="$bvarname"/></xsl:with-param></xsl:call-template></m:ci>
        </m:bvar>
        <m:condition>
         <xsl:apply-templates select="LAMBDA[1]/target" mode="noannot"/>
@@ -105,7 +105,7 @@
          <m:apply>
           <m:csymbol>app</m:csymbol>
           <xsl:apply-templates select="*[4]" mode="noannot"/>
-          <m:ci><xsl:value-of select="$bvarname"/></m:ci>
+          <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="$bvarname"/></xsl:with-param></xsl:call-template></m:ci>
          </m:apply>
         </xsl:otherwise>
        </xsl:choose>
@@ -115,13 +115,13 @@
         <xsl:when test="name(*[4]) = 'LAMBDA'">
          <xsl:variable name="bvarname" select="*[4]/target/@binder"/>
          <m:bvar>
-          <m:ci><xsl:value-of select="$bvarname"/></m:ci>
+          <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="$bvarname"/></xsl:with-param></xsl:call-template></m:ci>
          </m:bvar>
          <m:condition>
           <m:apply>
            <m:csymbol>app</m:csymbol>
            <xsl:apply-templates select="*[3]" mode="noannot"/>
-           <m:ci><xsl:value-of select="$bvarname"/></m:ci>
+           <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="$bvarname"/></xsl:with-param></xsl:call-template></m:ci>
           </m:apply>
          </m:condition>
          <xsl:apply-templates select="*[4]/target" mode="noannot"/>