X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama%2Fdepends;h=dcbfcc6f0adcabc26fcf4a7f0a6d60d92e2f0ef5;hb=e92710b1d9774a6491122668c8463b8658114610;hp=541721dbec8173b76d4601bafb4a5dd4e40fc427;hpb=2b422d5f721aacb242951118188f376bf1dc7ce2;p=helm.git

diff --git a/helm/software/matita/dama/depends b/helm/software/matita/dama/depends
index 541721dbe..dcbfcc6f0 100644
--- a/helm/software/matita/dama/depends
+++ b/helm/software/matita/dama/depends
@@ -1,6 +1,6 @@
-metric_lattice.ma lattice.ma metric_space.ma
+metric_lattice.ma excess.ma lattice.ma metric_space.ma
 metric_space.ma ordered_divisible_group.ma
-sandwich.ma nat/orders.ma nat/plus.ma tend.ma
+sandwich.ma metric_lattice.ma nat/orders.ma nat/plus.ma tend.ma
 premetric_lattice.ma lattice.ma metric_space.ma
 ordered_group.ma group.ma
 divisible_group.ma group.ma nat/orders.ma
@@ -12,7 +12,7 @@ prevalued_lattice.ma ordered_group.ma
 excess.ma constructive_connectives.ma constructive_higher_order_relations.ma higher_order_defs/relations.ma nat/plus.ma
 sandwich_corollary.ma sandwich.ma
 Q_is_orded_divisble_group.ma Q/q.ma ordered_divisible_group.ma
-limit.ma excess.ma infsup.ma tend.ma
+limit.ma excess.ma infsup.ma metric_lattice.ma tend.ma
 lattice.ma excess.ma
 tend.ma metric_space.ma nat/orders.ma sequence.ma
 constructive_higher_order_relations.ma constructive_connectives.ma higher_order_defs/relations.ma