First version of Di Lena's stylesheet generator (for the HELM DTD).

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

diff --git a/helm/meta_style/xslt_index.txt b/helm/meta_style/xslt_index.txt
new file mode 100644 (file)
index 0000000..889ce4c
--- /dev/null
+++ b/helm/meta_style/xslt_index.txt
@@ -0,0 +1,7 @@
+algebra.xsl
+arith.xsl
+basic.xsl
+reals.xsl
+set.xsl
+positive.xsl
+modeset.xsl