matita/matita/contribs/lambdadelta/2A1
matita/matita/contribs/lambdadelta/apps_2/notation
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