X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Fdepends;h=1b7a60cdbc629aedf59437bd3b16392b8f5465ad;hb=9a7ec6adbfd12e5305800a033d1b471afe316abd;hp=857215f68a9477579c5faf0fc2eb13403ae71f61;hpb=0e135d52a8c1b825a7844b897546bb7ae4af44d2;p=helm.git

diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends
index 857215f68..1b7a60cdb 100644
--- a/helm/software/matita/nlibrary/depends
+++ b/helm/software/matita/nlibrary/depends
@@ -1,3 +1,5 @@
-sets/sets.ma logic/connectives.ma
+sets/sets.ma logic/equality.ma
+logic/equality.ma logic/connectives.ma
 logic/connectives.ma logic/pts.ma
+algebra/magmas.ma sets/sets.ma
 logic/pts.ma