matita/matita/contribs/lambdadelta/bin/nodes
matita/matita/contribs/lambdadelta/bin/token
matita/matita/contribs/lambdadelta/*/probe.txt
matita/matita/contribs/lambdadelta/bin/nodes
matita/matita/contribs/lambdadelta/bin/token
matita/matita/contribs/lambdadelta/*/probe.txt