</Definition>
</xsl:template>
+<xsl:template match="NuPrlDefinition">
+ <NuPrlDefinition>
+ <xsl:apply-templates select="*"/>
+ </NuPrlDefinition>
+</xsl:template>
+
<xsl:template match="node">
<xsl:element name="Node">
<xsl:apply-templates/>
</xsl:template>
<xsl:template match="tacticinstance">
- <TacticInstance name="{@name}">
- <xsl:apply-templates select="extra_info"/>
- </TacticInstance>
-</xsl:template>
-
-<xsl:template match="extra_info">
- <extra_info>
- <xsl:copy-of select="*|@*|text()"/>
- </extra_info>
+ <TacticInstance name="{@name}" uri="{@uri}"/>
</xsl:template>
<xsl:template match="tacticproof">