]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/nuprl_stylesheets/nuprl_tree.xsl
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / nuprl_stylesheets / nuprl_tree.xsl
diff --git a/helm/nuprl_stylesheets/nuprl_tree.xsl b/helm/nuprl_stylesheets/nuprl_tree.xsl
deleted file mode 100644 (file)
index 03daa47..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-<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>