]> matita.cs.unibo.it Git - helm.git/commitdiff
Correct CurrentProof
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:05:20 +0000 (14:05 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 14:05:20 +0000 (14:05 +0000)
helm/style/objcontent.xsl

index 064d0ca9a95b24676219708dd0ba560ce813e02e..5aaebe592d835224290924d094ef02646c942120 100644 (file)
       <Conjecture no="{@no}" helm:xref="{@id}">
         <xsl:for-each select="*">
          <xsl:copy>
-          <xsl:copy-of select="@of"/>
+          <xsl:copy-of select="*"/>
           <xsl:attribute name="helm:xref">
            <xsl:value-of select="@id"/>
           </xsl:attribute>