software/matita/tests
software/matita/dama
software/matita/contribs/PREDICATIVE-TOPOLOGY
-software/matita/contribs/RELATIONAL
software/matita/contribs/LOGIC
-software/matita/contribs/LAMBDA-TYPES/Unified-Sub
-software/matita/contribs/LAMBDA-TYPES/Base-1
-software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1
-software/matita/contribs/LAMBDA-TYPES/Base-2
+software/matita/contribs/lambdadelta