helm/nuprl_stylesheets/nuprl_proof.xsl

   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.......">
   4
   5
   6 <xsl:template match="NuPrlProof">
   7   <Definition>
   8     <Params />
   9     <body>
  10       <xsl:apply-templates/>
  11     </body>
  12     <type>
  13       <xsl:apply-templates select="node/sequent/conclusion/*[1]"/>
  14     </type>
  15   </Definition>
  16 </xsl:template>
  17
  18 <xsl:template match="node">
  19   <xsl:element name="Node">
  20     <xsl:apply-templates/>
  21   </xsl:element>
  22 </xsl:template>
  23
  24 <xsl:template match="sequent">
  25   <xsl:element name="Sequent">
  26     <xsl:attribute name="id">
  27       <xsl:value-of select="@number"/>
  28     </xsl:attribute>
  29     <xsl:apply-templates/>
  30   </xsl:element>
  31 </xsl:template>
  32
  33 <xsl:template match="hypothesis">
  34   <xsl:element name="Decl">
  35     <xsl:if test="@var!=&quot;&quot;">
  36       <xsl:attribute name="name">
  37         <xsl:value-of select="@var"/>
  38       </xsl:attribute>
  39     </xsl:if>
  40     <xsl:apply-templates/>
  41   </xsl:element>
  42 </xsl:template>
  43
  44 <xsl:template match="conclusion">
  45   <xsl:element name="Goal">
  46     <xsl:apply-templates/>
  47   </xsl:element>
  48 </xsl:template>
  49
  50 <xsl:template match="ruleinstance">
  51   <xsl:element name="Rule">
  52     <xsl:apply-templates/>
  53   </xsl:element>
  54 </xsl:template>
  55
  56 <xsl:template match="tacticinstance">
  57   <TacticInstance name="{@name}" uri="{@uri}">
  58     <xsl:apply-templates select="extra_info"/>
  59   </TacticInstance>
  60 </xsl:template>
  61
  62 <xsl:template match="extra_info">
  63  <extra_info>
  64   <xsl:copy-of select="*|@*|text()"/>
  65  </extra_info>
  66 </xsl:template>
  67
  68 <xsl:template match="tacticproof">
  69   <xsl:element name="TacticProof">
  70     <xsl:apply-templates/>
  71   </xsl:element>
  72 </xsl:template>
  73
  74 </xsl:stylesheet>