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

diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 821b61cd8..ff8bf2c36 100644
--- a/helm/software/matita/contribs/developments.txt
+++ b/helm/software/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