ocaml 3.09 transition

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

diff --git a/helm/nuprl_stylesheets/xslt_index.txt b/helm/nuprl_stylesheets/xslt_index.txt
index 11e49a8ea5875836113563544f1c00e0a7b7680a..d193b316d1e5b64ccf1027a4f685d6ad85fe9fc9 100644 (file)
--- a/helm/nuprl_stylesheets/xslt_index.txt
+++ b/helm/nuprl_stylesheets/xslt_index.txt
@@ -2,7 +2,6 @@ nuprl_abstract.xsl
 nuprl_proof.xsl
 nuprl_rules.xsl
 nuprl_term.xsl
-nuprl_content_to_html.xsl
 nuprl_content_to_html2.xsl
 nuprl_annotatedpres.xsl
 nuprl_mmlextension.xsl