Formal points.

[helm.git] / helm / software / matita / nlibrary / depends

diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends
index 8ef3e1dbdeb199212915e23bd13cbbea65347374..9c8a7b1c6185a5f6b5860f00dc55cbffff9debaa 100644 (file)
--- 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