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

diff --git a/helm/software/matita/contribs/limits/depends b/helm/software/matita/contribs/limits/depends
new file mode 100644
index 000000000..13fa00c5a
--- /dev/null
+++ b/helm/software/matita/contribs/limits/depends
@@ -0,0 +1,12 @@
+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 
+datatypes/bool.ma 
+datatypes/constructors.ma 
+logic/connectives.ma