AMBDA-TYPES: some improvements. subst now fully exploited

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

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index 8309258afe1dc55bb9526bc0e0795be3ef0cf611..821b61cd816f60600cdbf1f64211e0607ea40db1 100644 (file)
--- a/matita/contribs/developments.txt
+++ b/matita/contribs/developments.txt
@@ -2,6 +2,7 @@ Root directories of current matita developments
 
 software/matita/legacy
 software/matita/library
+software/matita/library_auto
 software/matita/tests
 software/matita/dama
 software/matita/contribs/PREDICATIVE-TOPOLOGY