autoconf now used

[helm.git] / helm / style / objcontent.xsl
diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl

index 6ad0a492274e7c67fb012f8b529067b5b3ff4023..2e70505d07b56678f2c39c59aafe20df21fce07a 100644 (file)
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -48,10 +48,10 @@
        </xsl:otherwise>
       </xsl:choose> -->
       <body>
-      <xsl:apply-templates select="body"/>
+      <xsl:apply-templates select="body/*"/>
       </body>
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </Definition> 
  </xsl:template>
@@ -64,7 +64,7 @@
        </Params>
       </xsl:if>
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </Axiom> 
  </xsl:template>
@@ -77,10 +77,10 @@
        </Conjecture>
       </xsl:for-each>
       <body>
-       <xsl:apply-templates select="body"/>
+       <xsl:apply-templates select="body/*"/>
       </body>
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </CurrentProof> 
  </xsl:template>
@@ -121,7 +121,7 @@
  <xsl:template match="Variable" mode="noannot"> 
      <Variable name="{@name}" helm:xref="{@id}">
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </Variable> 
  </xsl:template>
@@ -147,7 +147,7 @@
         <xsl:choose>
         <xsl:when test="string($binder) = &quot;LAMBDA&quot;">
          <m:ci>
-         <xsl:value-of select="target/@binder"/>
+         <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="target/@binder"/></xsl:with-param></xsl:call-template>
          </m:ci>
         </xsl:when>
         <xsl:otherwise> 
@@ -202,7 +202,7 @@
  <xsl:param name="noleft" select="0"/>
  <xsl:param name="number" select="1"/>
      <xsl:if test="$noleft != 0">
-     <m:ci>$<xsl:value-of select="$number"/></m:ci>
+     <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value">$<xsl:value-of select="$number"/></xsl:with-param></xsl:call-template></m:ci>
       <xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noleft - 1"/><xsl:with-param name="number" select="$number + 1"/></xsl:call-template>  
      </xsl:if>
  </xsl:template>