X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Flimits%2Fdepends;h=af2f6349f03910f0d2bb08febd76528528247390;hb=8ae1653eb75d2b57c50e077c49cb9d078313ea9d;hp=13fa00c5ae63bda10506d4b8b0659abebae0e909;hpb=ef05c795559108c1d33cfa048531849807867a81;p=helm.git

diff --git a/helm/software/matita/contribs/limits/depends b/helm/software/matita/contribs/limits/depends
index 13fa00c5a..af2f6349f 100644
--- a/helm/software/matita/contribs/limits/depends
+++ b/helm/software/matita/contribs/limits/depends
@@ -1,12 +1,9 @@
-class_eq.ma class_defs.ma
-domain_defs.ma class_defs.ma
-coa_props.ma coa_defs.ma
-class_defs.ma logic/connectives.ma
-domain_data.ma datatypes/bool.ma datatypes/constructors.ma domain_defs.ma
-subset_defs.ma domain_defs.ma
-coa_defs.ma domain_data.ma iff.ma
-iff.ma ../../library/logic/connectives.ma
-../../library/logic/connectives.ma 
+preamble.ma datatypes/bool.ma datatypes/constructors.ma logic/connectives.ma
+Class/eq.ma Class/defs.ma
+Domain/defs.ma Class/defs.ma
+Domain/data.ma Domain/defs.ma
+Subset/defs.ma Domain/defs.ma
+Class/defs.ma preamble.ma
 datatypes/bool.ma 
 datatypes/constructors.ma 
 logic/connectives.ma