...

[helm.git] / helm / software / matita / contribs / igft / depends

diff --git a/helm/software/matita/contribs/igft/depends b/helm/software/matita/contribs/igft/depends
index 6fef337d037e5a05da204672dbe92cab9d4300b2..760fb80503875e434e61fbd587c38b8d47603fd6 100644 (file)
--- 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