X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fxslt_index.txt;h=2f683f28dbe472985df7fe64910b415a2d8f4c9a;hb=4f6616b07fb0de97199db9349b2dc01ee0dc33f3;hp=889ce4c6c3d98bfbb9c4d953c4586f8844f82065;hpb=5379335718a93d3e933d9bfdc0dd85f00983bc21;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