]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/developments.txt
propagating the arithmetics library, partial commit
[helm.git] / matita / matita / contribs / developments.txt
1 Root directories of current matita developments 
2
3 software/matita/legacy
4 software/matita/library
5 software/matita/library_auto
6 software/matita/tests
7 software/matita/dama
8 software/matita/contribs/PREDICATIVE-TOPOLOGY
9 software/matita/contribs/RELATIONAL
10 software/matita/contribs/LOGIC
11 software/matita/contribs/LAMBDA-TYPES/Unified-Sub
12 software/matita/contribs/LAMBDA-TYPES/Base-1
13 software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1
14 software/matita/contribs/LAMBDA-TYPES/Base-2