X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fdevelopments.txt;h=13b89f2f7d33ce6b3fe75e5540e0ba41cd5fb97a;hb=da0775e27b362e91ea1453a800bc403781cc2ca3;hp=f7e03520b498611ea1e049e6a62f5a3657b54356;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/developments.txt b/matita/matita/contribs/developments.txt
index f7e03520b..13b89f2f7 100644
--- a/matita/matita/contribs/developments.txt
+++ b/matita/matita/contribs/developments.txt
@@ -6,9 +6,5 @@ software/matita/library_auto
 software/matita/tests
 software/matita/dama
 software/matita/contribs/PREDICATIVE-TOPOLOGY
-software/matita/contribs/RELATIONAL
 software/matita/contribs/LOGIC
-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/Base-2
+software/matita/contribs/lambdadelta