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/Unified-Sub
software/matita/contribs/LAMBDA-TYPES/Base-1
software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1