X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fxslt_index.txt;h=84cd46836415e92effcaf99248b3c8a84feba752;hb=000ee25879c192864cfaa0ebc27cc91a896378df;hp=9b3260cbfdb885b480a57a21adbb7e450f1493a8;hpb=edeecdcf2cb51318a7d4c608652f4f988e80f66f;p=helm.git

diff --git a/helm/style/xslt_index.txt b/helm/style/xslt_index.txt
index 9b3260cbf..84cd46836 100644
--- a/helm/style/xslt_index.txt
+++ b/helm/style/xslt_index.txt
@@ -13,6 +13,7 @@ html_init.xsl
 html_reals.xsl
 html_set.xsl
 inductive.xsl
+ite.xsl
 lambda.xsl
 link.xsl
 links_library.xsl