X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Fdepends;h=96eca527f7ae384da871869bcbf4fd7b5d937b1c;hb=f5ca06e7437c022413b14bd8f63fa3466a1ead0c;hp=0f936d55e4818ba6917729bc313e017e4537155d;hpb=4b940bfbeab1181dd18c56e46761f5e6690d9f9d;p=helm.git

diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends
index 0f936d55e..96eca527f 100644
--- a/helm/software/matita/nlibrary/depends
+++ b/helm/software/matita/nlibrary/depends
@@ -4,7 +4,7 @@ topology/igft3.ma arithmetics/nat.ma datatypes/bool.ma topology/igft.ma
 basics/functions.ma Plogic/connectives.ma Plogic/equality.ma
 nat/compare.ma datatypes/bool.ma nat/order.ma
 arithmetics/compare.ma arithmetics/nat.ma
-datatypes/list-setoids.ma datatypes/list.ma sets/setoids.ma
+datatypes/list-setoids.ma datatypes/list.ma sets/setoids.ma sets/setoids1.ma
 datatypes/list-theory.ma arithmetics/nat.ma datatypes/list.ma
 logic/pts.ma 
 basics/relations.ma Plogic/connectives.ma