X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN%2Fdepends;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN%2Fdepends;h=ab5d4708f2872202e3653fea569fbdd43dc3dcb9;hb=cb3513ef18e52e6e054f8bc99abb833afbb2aee5;hp=0000000000000000000000000000000000000000;hpb=bfef67a8e21e943fa760512faeddd47b5a236ca5;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN/depends b/helm/software/matita/contribs/CoRN/depends
new file mode 100644
index 000000000..ab5d4708f
--- /dev/null
+++ b/helm/software/matita/contribs/CoRN/depends
@@ -0,0 +1,9 @@
+algebra/CoRN/SemiGroups.ma algebra/CoRN/SetoidInc.ma
+algebra/CoRN/SetoidInc.ma algebra/CoRN/SetoidFun.ma
+algebra/CoRN/Setoids.ma Z/plus.ma datatypes/constructors.ma higher_order_defs/relations.ma logic/equality.ma nat/nat.ma
+algebra/CoRN/SetoidFun.ma algebra/CoRN/Setoids.ma higher_order_defs/relations.ma
+Z/plus.ma 
+datatypes/constructors.ma 
+higher_order_defs/relations.ma 
+logic/equality.ma 
+nat/nat.ma