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
10 software/matita/contribs/LAMBDA-TYPES/Level-1/Base
11 software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta