First commit of the NuPRL stylesheets.

[helm.git] / helm / nuprl_stylesheets / nuprl_tree.xsl

diff --git a/helm/nuprl_stylesheets/nuprl_tree.xsl b/helm/nuprl_stylesheets/nuprl_tree.xsl
new file mode 100644 (file)
index 0000000..03daa47
--- /dev/null
+++ b/helm/nuprl_stylesheets/nuprl_tree.xsl
@@ -0,0 +1,25 @@
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns:m="http://www.w3.org/1998/Math/MathML"
+                             xmlns:xlink="http://www.w3.org/1999/xlink">
+
+
+
+<xsl:template match="/">
+    <xsl:apply-templates select="*"/>
+</xsl:template>
+
+<xsl:template match="*|@*|text()">
+  <xsl:copy>
+   <xsl:apply-templates select="*|@*|text()"/>
+  </xsl:copy>
+</xsl:template>
+
+         
+<xsl:template match="body">
+    <xsl:for-each select="Node">
+      <xsl:attribute name="child" select="1"/>
+      <xsl:attribute name="brother" select="2"/>
+    </xsl:for-each>
+</xsl:template>
+
+</xsl:stylesheet>