From: Matteo Selmi <matteo.selmi@mail.polimi.it>
Date: Wed, 30 Oct 2002 14:05:20 +0000 (+0000)
Subject: Correct CurrentProof
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57303a4ab1f66a495df15477a999f7afb7ba4ad4;p=helm.git

Correct CurrentProof
---

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 064d0ca9a..5aaebe592 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -171,7 +171,7 @@
       <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>