applyTransformation: added debugging information

[helm.git] / matita / contribs / developments.txt

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index 821b61cd816f60600cdbf1f64211e0607ea40db1..ff8bf2c365140776e69eb695673a65f2c7171154 100644 (file)
--- 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