X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdidactic%2Fdepends;h=a9d0243fb40c01cef5b14000bea366dbb58819f5;hb=bb7af347df386afcd3ea2adea8e7e982e3a5a253;hp=6234ee80781af98c9b2c7de6332ad91a3368e478;hpb=c775f53f9aae44897fb13342cd9f2e7ec5e394f7;p=helm.git

diff --git a/helm/software/matita/contribs/didactic/depends b/helm/software/matita/contribs/didactic/depends
index 6234ee807..a9d0243fb 100644
--- a/helm/software/matita/contribs/didactic/depends
+++ b/helm/software/matita/contribs/didactic/depends
@@ -1,2 +1,2 @@
-induction_support.ma 
-induction.ma induction_support.ma
+induction.ma nat/minus.ma
+nat/minus.ma