matita/matita/contribs/lambdadelta/nodes
matita/matita/contribs/lambdadelta/token
matita/matita/contribs/lambdadelta/2A
-matita/matita/contribs/lambdadelta/*/*_probe.txt
+matita/matita/contribs/lambdadelta/*/probe.txt
+matita/matita/contribs/lambdadelta/*/deps.txt
matita/matita/contribs/lambdadelta/*/web/*_sum.tbl
matita/matita/contribs/convergence/