matita/matita/contribs/lambdadelta/*/probe.txt
matita/matita/contribs/lambdadelta/*/deps.txt
matita/matita/contribs/lambdadelta/*/web/*_sum.tbl
matita/matita/contribs/lambdadelta/*/probe.txt
matita/matita/contribs/lambdadelta/*/deps.txt
matita/matita/contribs/lambdadelta/*/web/*_sum.tbl