1 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
2 xmlns:m="http://www.w3.org/1998/Math/MathML"
3 xmlns:cn="http://www.......">
6 <xsl:template match="NuPrlProof">
10 <xsl:apply-templates/>
13 <xsl:apply-templates select="node/sequent/conclusion/*[1]"/>
18 <xsl:template match="node">
19 <xsl:element name="Node">
20 <xsl:apply-templates/>
24 <xsl:template match="sequent">
25 <xsl:element name="Sequent">
26 <xsl:attribute name="id">
27 <xsl:value-of select="@number"/>
29 <xsl:apply-templates/>
33 <xsl:template match="hypothesis">
34 <xsl:element name="Decl">
35 <xsl:if test="@var!=""">
36 <xsl:attribute name="name">
37 <xsl:value-of select="@var"/>
40 <xsl:apply-templates/>
44 <xsl:template match="conclusion">
45 <xsl:element name="Goal">
46 <xsl:apply-templates/>
50 <xsl:template match="ruleinstance">
51 <xsl:element name="Rule">
52 <xsl:apply-templates/>
56 <xsl:template match="tacticinstance">
57 <TacticInstance name="{@name}" uri="{@uri}"/>
60 <xsl:template match="tacticproof">
61 <xsl:element name="TacticProof">
62 <xsl:apply-templates/>