This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / nuprl_stylesheets / xslt_index.txt

diff --git a/helm/nuprl_stylesheets/xslt_index.txt b/helm/nuprl_stylesheets/xslt_index.txt
deleted file mode 100644 (file)
index d193b31..0000000
--- 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