Branch V7_3_new_exportation merged.

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

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
index 2f31b969a3f808e61892381944d1361aac8baa68..84cd46836415e92effcaf99248b3c8a84feba752 100644 (file)
--- a/helm/style/xslt_index.txt
+++ b/helm/style/xslt_index.txt
@@ -3,6 +3,7 @@ annotatedpres.xsl
 content.xsl
 content_to_html.xsl
 contentlib.xsl
+diseq.xsl
 drop_coercions.xsl
 expandobj.xsl
 genmmlid.xsl
@@ -12,9 +13,11 @@ html_init.xsl
 html_reals.xsl
 html_set.xsl
 inductive.xsl
+ite.xsl
 lambda.xsl
 link.xsl
 links_library.xsl
+logic.xsl
 mk_dep_graph.xsl
 mk_meta_and_dep_graph.xsl
 mk_meta_graph.xsl
@@ -27,6 +30,7 @@ objcontent.xsl
 objtheorycontent.xsl
 params.xsl
 proofs.xsl
+rewrite.xsl
 ricerca.xsl
 ring.xsl
 rootcontent.xsl