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=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

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