X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Fdepends;h=9c8a7b1c6185a5f6b5860f00dc55cbffff9debaa;hb=e10d227670fcc1ae0101b5a1abd8a8236d4ba5ec;hp=8ef3e1dbdeb199212915e23bd13cbbea65347374;hpb=b9400f08599fa8c36ecf06ac347e966c42db72fc;p=helm.git

diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends
index 8ef3e1dbd..9c8a7b1c6 100644
--- a/helm/software/matita/nlibrary/depends
+++ b/helm/software/matita/nlibrary/depends
@@ -1,4 +1,5 @@
 arithmetics/R.ma arithmetics/nat.ma datatypes/pairs.ma datatypes/sums.ma topology/igft.ma
+SET171^3.ma TPTP.ma
 algebra/bool.ma logic/connectives.ma
 overlap/o-algebra.ma sets/categories2.ma
 algebra/abelian_magmas.ma algebra/magmas.ma
@@ -20,7 +21,7 @@ arithmetics/Z.ma arithmetics/nat.ma
 properties/relations1.ma logic/pts.ma
 arithmetics/compare.ma arithmetics/nat.ma
 Plogic/equality.ma logic/pts.ma
-TPTP.ma 
+TPTP.ma basics/eq.ma
 sets/categories.ma sets/sets.ma
 properties/relations2.ma logic/pts.ma
 PTS/gpts.ma PTS/subst.ma