Update to V7 after V6-2 tag creationg

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

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 486c0a43f32aecad0053452a75ee41830e45e363..948cbbaecc1989cdadcdf89c915160c72063d84c 100644 (file)
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -101,14 +101,14 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 
 <xsl:template match="APPLY" mode="pure">
    <xsl:choose>
-    <!-- <xsl:when test="//ALLTYPES and boolean(key('typeid',*/@id))"> -->
+    <!-- <xsl:when test="//InnerTypes and boolean(key('typeid',*/@id))"> -->
     <!-- start looking for subproofs -->
-    <xsl:when test="((*/@id) = (//ALLTYPES/TYPE/@id))"> 
+    <xsl:when test="((*/@id) = (//InnerTypes/TYPE/@of))"> 
      <m:apply helm:xref="{@id}">
       <m:csymbol>letin</m:csymbol>
       <!-- <xsl:for-each select="*[boolean(key('typeid',@id))]"> -->
       <!-- first process all subproofs (let-in) -->
-      <xsl:for-each select="*[@id = (//ALLTYPES/TYPE/@id)]">
+      <xsl:for-each select="*[@id = (//InnerTypes/TYPE/@of)]">
        <m:apply>
         <m:csymbol>let</m:csymbol>
         <m:ci><xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="concat('h',position())"/></xsl:with-param></xsl:call-template></m:ci>
@@ -140,7 +140,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
    <xsl:variable name="id" select="@id"/>
    <xsl:choose>
     <!-- <xsl:when test="key('typeid',@id)"> -->
-    <xsl:when test="//ALLTYPES/TYPE[@id=$id]">
+    <xsl:when test="//InnerTypes/TYPE[@of=$id]">
      <m:ci>
       <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="concat('h',$n)"/></xsl:with-param></xsl:call-template>
      </m:ci>