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