many fixes to setoids for re, 16.1 almost done

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

diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends
index 0f936d55e4818ba6917729bc313e017e4537155d..96eca527f7ae384da871869bcbf4fd7b5d937b1c 100644 (file)
--- 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