X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdevelopments.txt;h=b64a344f536949ad9f96d20b3fc5c116a5039084;hb=da0775e27b362e91ea1453a800bc403781cc2ca3;hp=ff8bf2c365140776e69eb695673a65f2c7171154;hpb=20c9d7116bdfefe8075dd04266836c183d66178e;p=helm.git diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt index ff8bf2c36..b64a344f5 100644 --- a/helm/software/matita/contribs/developments.txt +++ b/helm/software/matita/contribs/developments.txt @@ -6,8 +6,4 @@ software/matita/library_auto software/matita/tests software/matita/dama software/matita/contribs/PREDICATIVE-TOPOLOGY -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 +software/matita/contribs/LOGIC