<xsl:attribute name="name">
<xsl:value-of select="@name"/>
</xsl:attribute>
+ <xsl:attribute name="helm:xref">
+ <xsl:value-of select="@id"/>
+ </xsl:attribute>
<xsl:apply-templates select="*[1]"/>
</xsl:copy>
</xsl:for-each>
<xsl:template match="CurrentProof" mode="noannot">
<CurrentProof name="{@name}" helm:xref="{@id}">
<xsl:for-each select="Conjecture">
- <Conjecture no="{@no}">
+ <Conjecture no="{@no}" helm:xref="{@id}">
<xsl:for-each select="*">
<xsl:copy>
- <xsl:copy-of select="@*"/>
+ <xsl:copy-of select="@name"/>
+ <xsl:attribute name="helm:xref">
+ <xsl:value-of select="@id"/>
+ </xsl:attribute>
<xsl:apply-templates select="*"/>
</xsl:copy>
</xsl:for-each>