software/matita/legacy
software/matita/library
+software/matita/library_auto
software/matita/tests
software/matita/dama
-software/matita/contribs/CoRN
software/matita/contribs/PREDICATIVE-TOPOLOGY
software/matita/contribs/RELATIONAL
-software/matita/contribs/LAMBDA-TYPES/Unified
-software/matita/contribs/LAMBDA-TYPES/Level-1/Base
-software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta
+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