Required by the new getxslt method implementation.

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
new file mode 100644 (file)
index 0000000..0ae6f66
--- /dev/null
+++ b/helm/style/xslt_index.txt
@@ -0,0 +1,40 @@
+algebra.xsl
+annotatedcont.xsl
+annotatedpres.xsl
+arith.xsl
+basic.xsl
+content.xsl
+content_to_html.xsl
+contentlib.xsl
+drop_coercions.xsl
+expandobj.xsl
+genmmlid.xsl
+getter.xsl
+headercontent.xsl
+html_init.xsl
+html_reals.xsl
+html_set.xsl
+inductive.xsl
+lambda.xsl
+link.xsl
+links_library.xsl
+mk_dep_graph.xsl
+mk_meta_and_dep_graph.xsl
+mk_meta_graph.xsl
+mk_meta_theory.xsl
+mmlctop.xsl-0.14
+mmlextension.xsl
+mmltheoryextension.xsl
+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