X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL%2Fdepends;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL%2Fdepends;h=0000000000000000000000000000000000000000;hb=da0775e27b362e91ea1453a800bc403781cc2ca3;hp=9d79219ac8063980fafb2b1e84894d92f0f3350c;hpb=d9824956d9132109ed5f23380a0a1f9c5181d18a;p=helm.git

diff --git a/helm/software/matita/contribs/RELATIONAL/depends b/helm/software/matita/contribs/RELATIONAL/depends
deleted file mode 100644
index 9d79219ac..000000000
--- a/helm/software/matita/contribs/RELATIONAL/depends
+++ /dev/null
@@ -1,21 +0,0 @@
-preamble.ma datatypes/constructors.ma logic/connectives.ma logic/equality.ma
-datatypes/Nat.ma preamble.ma
-datatypes/Zah.ma datatypes/Nat.ma
-datatypes/List.ma preamble.ma
-datatypes/Bool.ma preamble.ma
-ZEq/setoid.ma NPlus/fun.ma ZEq/defs.ma
-ZEq/defs.ma NPlus/defs.ma datatypes/Zah.ma
-NLE/nplus.ma NLE/defs.ma
-NLE/props.ma NLE/order.ma
-NLE/inv.ma NLE/defs.ma
-NLE/defs.ma NPlus/defs.ma datatypes/Nat.ma
-NLE/order.ma NLE/inv.ma
-NPlusList/props.ma NPlusList/defs.ma
-NPlusList/defs.ma NPlus/defs.ma datatypes/List.ma
-NPlus/inv.ma NPlus/defs.ma
-NPlus/monoid.ma NPlus/fun.ma
-NPlus/defs.ma datatypes/Nat.ma
-NPlus/fun.ma NPlus/inv.ma
-datatypes/constructors.ma 
-logic/connectives.ma 
-logic/equality.ma