X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdevelopments.txt;h=8309258afe1dc55bb9526bc0e0795be3ef0cf611;hb=9af0ac16488f57149c7d02aa5bbee47a81c7c342;hp=4d50449410f45fdd805fa9525b4b630ea2d1e6a1;hpb=983f5ce6bd855e058e469de79b14361e2b920086;p=helm.git

diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 4d5044941..8309258af 100644
--- a/helm/software/matita/contribs/developments.txt
+++ b/helm/software/matita/contribs/developments.txt
@@ -4,9 +4,8 @@ software/matita/legacy
 software/matita/library
 software/matita/tests
 software/matita/dama
-software/matita/contribs/CoRN
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
-software/matita/contribs/LAMBDA-TYPES/Unified
-software/matita/contribs/LAMBDA-TYPES/Level-1/Base
-software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta
+software/matita/contribs/LAMBDA-TYPES/Unified-Sub
+software/matita/contribs/LAMBDA-TYPES/Base-1
+software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1