X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcontribs%2Fdevelopments.txt;h=ff8bf2c365140776e69eb695673a65f2c7171154;hb=e3b1a29435209691752a02933d0d7e8a8156c65d;hp=821b61cd816f60600cdbf1f64211e0607ea40db1;hpb=c4df237cf74270f9e4aa164d5fe0415181406a49;p=helm.git

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index 821b61cd8..ff8bf2c36 100644
--- a/matita/contribs/developments.txt
+++ b/matita/contribs/developments.txt
@@ -10,3 +10,4 @@ software/matita/contribs/RELATIONAL
 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