Modified Files:

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

index b9f77cb82700afbf9cddabcb7b7669b59d3532a8..9b98250511fba36ef67907a29c777035ad1ab7ff 100644 (file)
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -74,10 +74,10 @@
        </xsl:otherwise>
       </xsl:choose> -->
       <body>
-      <xsl:apply-templates select="body/*"/>
+      <xsl:apply-templates select="body/*[1]"/>
       </body>
       <type>
-       <xsl:apply-templates select="type/*"/>
+       <xsl:apply-templates select="type/*[1]"/>
       </type>
      </Definition> 
  </xsl:template>
@@ -90,7 +90,7 @@
        </Params>
       </xsl:if>
       <type>
-       <xsl:apply-templates select="type/*"/>
+       <xsl:apply-templates select="type/*[1]"/>
       </type>
      </Axiom> 
  </xsl:template>
@@ -103,10 +103,10 @@
        </Conjecture>
       </xsl:for-each>
       <body>
-       <xsl:apply-templates select="body/*"/>
+       <xsl:apply-templates select="body/*[1]"/>
       </body>
       <type>
-       <xsl:apply-templates select="type/*"/>
+       <xsl:apply-templates select="type/*[1]"/>
       </type>
      </CurrentProof> 
  </xsl:template>
@@ -148,19 +148,13 @@
      <Variable name="{@name}" helm:xref="{@id}">
       <xsl:if test="name(*[1])='body'">
        <body>
-       <xsl:apply-templates select="body/*"/>
+       <xsl:apply-templates select="body/*[1]"/>
        </body>
       </xsl:if>
       <type>
-       <xsl:apply-templates select="type/*"/>
+       <xsl:apply-templates select="type/*[1]"/>
       </type>
      </Variable> 
  </xsl:template>
  
  </xsl:stylesheet>
-
-
-
-
-
-