X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fxslt_index.txt;h=d193b316d1e5b64ccf1027a4f685d6ad85fe9fc9;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=11e49a8ea5875836113563544f1c00e0a7b7680a;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git

diff --git a/helm/nuprl_stylesheets/xslt_index.txt b/helm/nuprl_stylesheets/xslt_index.txt
index 11e49a8ea..d193b316d 100644
--- 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