(dis)organized web stuff

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

diff --git a/helm/xml/nuprl_stylesheets/xslt_index.txt b/helm/xml/nuprl_stylesheets/xslt_index.txt
new file mode 100644 (file)
index 0000000..d193b31
--- /dev/null
+++ b/helm/xml/nuprl_stylesheets/xslt_index.txt
@@ -0,0 +1,13 @@
+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