X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fxslt_index.txt;h=2f31b969a3f808e61892381944d1361aac8baa68;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=f2e42135f733b2fd9243f86368cd2b4720fc1d67;hpb=c8c75f895d51cfbc257260859653a68f74117179;p=helm.git

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
index f2e42135f..2f31b969a 100644
--- a/helm/style/xslt_index.txt
+++ b/helm/style/xslt_index.txt
@@ -1,8 +1,5 @@
-algebra.xsl
 annotatedcont.xsl
 annotatedpres.xsl
-arith.xsl
-basic.xsl
 content.xsl
 content_to_html.xsl
 contentlib.xsl
@@ -30,12 +27,10 @@ objcontent.xsl
 objtheorycontent.xsl
 params.xsl
 proofs.xsl
-reals.xsl
 ricerca.xsl
 ring.xsl
 rootcontent.xsl
 roottheory.xsl
-set.xsl
 show_dc.xsl
 theory_content.xsl
 theory_pres.xsl