X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Figft%2Fdepends;h=760fb80503875e434e61fbd587c38b8d47603fd6;hb=700b170aa9b0377d33f1edd44de8d89129477fb8;hp=6fef337d037e5a05da204672dbe92cab9d4300b2;hpb=467648250620f63c4c6d1338167dc46ccbb92051;p=helm.git

diff --git a/helm/software/matita/contribs/igft/depends b/helm/software/matita/contribs/igft/depends
index 6fef337d0..760fb8050 100644
--- a/helm/software/matita/contribs/igft/depends
+++ b/helm/software/matita/contribs/igft/depends
@@ -1 +1,3 @@
+cantor.ma igft.ma logic/cprop_connectives.ma
 igft.ma 
+logic/cprop_connectives.ma