From a00c96b7a2948c5dc191960b423afb92b698389d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 15:06:17 +0000
Subject: [PATCH] Required by the new getxslt method implementation.

---
 helm/style/xslt_index.txt | 40 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 helm/style/xslt_index.txt

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
new file mode 100644
index 000000000..0ae6f66a7
--- /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
-- 
2.39.2