X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fcharacter%2Fdepends;fp=matita%2Fmatita%2Fcontribs%2Fcharacter%2Fdepends;h=0000000000000000000000000000000000000000;hb=35e633b9f0e0ae36641e0f6d29aaed7ceb4e3c75;hp=7079205b132574204973c3e89a0f8bf2ce84133c;hpb=62ba47750dc6a598a01a5c53c375124a517b6ee0;p=helm.git

diff --git a/matita/matita/contribs/character/depends b/matita/matita/contribs/character/depends
deleted file mode 100644
index 7079205b1..000000000
--- a/matita/matita/contribs/character/depends
+++ /dev/null
@@ -1,5 +0,0 @@
-preamble.ma nat/exp.ma nat/relevant_equations.ma
-classes/defs.ma preamble.ma
-classes/props_pt.ma classes/defs.ma
-nat/exp.ma 
-nat/relevant_equations.ma