helm/www/lambdadelta/etc/lambdadelta
helm/www/lambdadelta/etc/coq-contribs
helm/www/lambdadelta/xslt/apps_2_src.xsl
+helm/www/lambdadelta/xslt/apps_2_sum.xsl
helm/www/lambdadelta/xslt/basic_2_blk.xsl
helm/www/lambdadelta/xslt/basic_2_src.xsl
+helm/www/lambdadelta/xslt/basic_2_sum.xsl
helm/www/lambdadelta/xslt/ground_2_src.xsl
+helm/www/lambdadelta/xslt/ground_2_sum.xsl
helm/www/lambdadelta/xslt/basic_1_blk.xsl
helm/www/lambdadelta/xslt/basic_1_src.xsl
helm/www/lambdadelta/xslt/basic_1_sum.xsl
helm/www/lambdadelta/xslt/ground_1_src.xsl
helm/www/lambdadelta/xslt/ground_1_sum.xsl
+helm/www/lambdadelta/xslt/alpha_1_sum.xsl
helm/www/lambdadelta/xslt/documentation_1.xsl
helm/www/lambdadelta/xslt/documentation_2.xsl
helm/www/lambdadelta/xslt/documentation_3.xsl
matita/matita/contribs/lambdadelta/apps_2/models
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa2.ma
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation2.ma
+matita/matita/contribs/lambdadelta/*/*_probe.txt
+matita/matita/contribs/lambdadelta/*/web/*_sum.tbl