1 Root directories of current matita developments
4 software/matita/library
5 software/matita/library_auto
8 software/matita/contribs/PREDICATIVE-TOPOLOGY
9 software/matita/contribs/RELATIONAL
10 software/matita/contribs/LAMBDA-TYPES/Unified-Sub
11 software/matita/contribs/LAMBDA-TYPES/Base-1
12 software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1
13 software/matita/contribs/LAMBDA-TYPES/Base-2