limits: reorganized and attached to nightly tests (cow compiles fully)

[helm.git] / helm / software / matita / contribs / limits / depends

diff --git a/helm/software/matita/contribs/limits/depends b/helm/software/matita/contribs/limits/depends
index 13fa00c5ae63bda10506d4b8b0659abebae0e909..af2f6349f03910f0d2bb08febd76528528247390 100644 (file)
--- 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