X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fxslt_index.txt;fp=helm%2Fmeta_style%2Fxslt_index.txt;h=2f683f28dbe472985df7fe64910b415a2d8f4c9a;hb=5f2de2d1d6c8520e39c1c3793a4c2776dcf7c7c1;hp=889ce4c6c3d98bfbb9c4d953c4586f8844f82065;hpb=698fffd5d37fbb7fc69faab9da5aa0c5fa247588;p=helm.git

diff --git a/helm/meta_style/xslt_index.txt b/helm/meta_style/xslt_index.txt
index 889ce4c6c..2f683f28d 100644
--- a/helm/meta_style/xslt_index.txt
+++ b/helm/meta_style/xslt_index.txt
@@ -3,5 +3,6 @@ arith.xsl
 basic.xsl
 reals.xsl
 set.xsl
+list.xsl
 positive.xsl
 modeset.xsl