CoRN moved in contribs

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

diff --git a/helm/software/matita/contribs/CoRN/depends b/helm/software/matita/contribs/CoRN/depends
new file mode 100644 (file)
index 0000000..ab5d470
--- /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