-matita/matita/contribs/lambdadelta/nodes
-matita/matita/contribs/lambdadelta/token
-matita/matita/contribs/lambdadelta/2A
+matita/matita/contribs/lambdadelta/bin/recomm/srcs
+matita/matita/contribs/lambdadelta/bin/recomm/log.txt
+matita/matita/contribs/lambdadelta/bin/recomm/subst.txt
+matita/matita/contribs/lambdadelta/bin/recomm/subst_cn.txt
+matita/matita/contribs/lambdadelta/bin/nodes
+matita/matita/contribs/lambdadelta/bin/token