X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fxslt_index.txt;fp=helm%2Fnuprl_stylesheets%2Fxslt_index.txt;h=0000000000000000000000000000000000000000;hp=d193b316d1e5b64ccf1027a4f685d6ad85fe9fc9;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/nuprl_stylesheets/xslt_index.txt b/helm/nuprl_stylesheets/xslt_index.txt
deleted file mode 100644
index d193b316d..000000000
--- a/helm/nuprl_stylesheets/xslt_index.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-nuprl_abstract.xsl
-nuprl_proof.xsl
-nuprl_rules.xsl
-nuprl_term.xsl
-nuprl_content_to_html2.xsl
-nuprl_annotatedpres.xsl
-nuprl_mmlextension.xsl
-nuprl_expand.xsl
-nuprl_tree.xsl
-nuprl_link.xsl
-nuprl_links_library.xsl
-nuprl_html_arith.xsl
-nuprl_html_basic.xsl