X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fnuprl_stylesheets%2Fnuprl_tree.xsl;fp=helm%2Fnuprl_stylesheets%2Fnuprl_tree.xsl;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=03daa4726188eecde832e6864373c7d58a406cbe;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/nuprl_stylesheets/nuprl_tree.xsl b/helm/nuprl_stylesheets/nuprl_tree.xsl
deleted file mode 100644
index 03daa4726..000000000
--- a/helm/nuprl_stylesheets/nuprl_tree.xsl
+++ /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>