_build
*.native
+*.byte
matita/Makefile.defs
matita/autom4te.cache
matita/matita/help/C/version.txt
+helm/software/helena/matita
+
matita/matita/contribs/lambdadelta/token
matita/matita/contribs/lambdadelta/2A1
matita/matita/contribs/lambdadelta/apps_2/notation