models ported

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

diff --git a/helm/software/matita/contribs/didactic/depends b/helm/software/matita/contribs/didactic/depends
index 6234ee80781af98c9b2c7de6332ad91a3368e478..a9d0243fb40c01cef5b14000bea366dbb58819f5 100644 (file)
--- 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