]> matita.cs.unibo.it Git - helm.git/blob - helm/xml/nuprl_stylesheets/nuprl_tree.xsl
the generation of the multiple conjunction is now supported!
[helm.git] / helm / xml / nuprl_stylesheets / nuprl_tree.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:xlink="http://www.w3.org/1999/xlink">
4
5
6
7 <xsl:template match="/">
8     <xsl:apply-templates select="*"/>
9 </xsl:template>
10
11 <xsl:template match="*|@*|text()">
12   <xsl:copy>
13    <xsl:apply-templates select="*|@*|text()"/>
14   </xsl:copy>
15 </xsl:template>
16
17           
18 <xsl:template match="body">
19     <xsl:for-each select="Node">
20       <xsl:attribute name="child" select="1"/>
21       <xsl:attribute name="brother" select="2"/>
22     </xsl:for-each>
23 </xsl:template>
24
25 </xsl:stylesheet>