we updated the contribution porting it to the new matita ...

[helm.git] / matita / matita / contribs / character / depends

diff --git a/matita/matita/contribs/character/depends b/matita/matita/contribs/character/depends
deleted file mode 100644 (file)
index 7079205..0000000
--- 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