Explicit substitutions for metavariables introduced and DTD changed.

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

index 898e41a985e448066d0c053df8656068ac47799f..5b375084b970625caa0438663a7dc1040d1982ba 100644 (file)
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -55,8 +55,8 @@
  <!-- CIC OBJECTS -->
  
  <xsl:template match="Sequent">  <!-- For Sequents there are no annotations --> 
-    <Sequent helm:xref="{@id}">
-     <xsl:for-each select="Decl|Def">
+    <Sequent helm:xref="{@id}" no="{@no}">
+     <xsl:for-each select="Decl|Def|Hidden">
        <xsl:copy>
         <xsl:attribute name="name">
          <xsl:value-of select="@name"/>
@@ -115,7 +115,12 @@
      <CurrentProof name="{@name}" helm:xref="{@id}">
       <xsl:for-each select="Conjecture">
        <Conjecture no="{@no}">
-        <xsl:apply-templates select="."/>
+        <xsl:for-each select="*">
+         <xsl:copy>
+          <xsl:copy-of select="@*"/>
+          <xsl:apply-templates select="*"/>
+         </xsl:copy>
+        </xsl:for-each>
        </Conjecture>
       </xsl:for-each>
       <body>