debian release 0.0.4-2:

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

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
index 8028625ceff8209991ace0b6f472d592500274d6..2f31b969a3f808e61892381944d1361aac8baa68 100644 (file)
--- 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
@@ -22,7 +19,7 @@ mk_dep_graph.xsl
 mk_meta_and_dep_graph.xsl
 mk_meta_graph.xsl
 mk_meta_theory.xsl
-mmlctop.xsl-0.14
+mmlctop.xsl
 mmlextension.xsl
 mmlnotation.xsl
 mmltheoryextension.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