X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdepends;h=9437906008b6b0cee68d5d95ac0d11a8b4c1eccd;hb=16f4598e9d2ada0b471e7d5cbe84295c7e34c27c;hp=8250ca24449fb0b918dab45f0ffd8a8c3650e9bc;hpb=2490d1bf464e276c581ca7b0b7956df2b0f7a490;p=helm.git

diff --git a/helm/software/matita/library/depends b/helm/software/matita/library/depends
index 8250ca244..943790600 100644
--- a/helm/software/matita/library/depends
+++ b/helm/software/matita/library/depends
@@ -81,4 +81,4 @@ nat/iteration2.ma nat/count.ma nat/generic_iter_p.ma nat/ord.ma nat/primes.ma
 nat/chebyshev.ma nat/factorial2.ma nat/factorization.ma nat/log.ma nat/pi_p.ma
 nat/log.ma datatypes/constructors.ma nat/div_and_mod_diseq.ma nat/iteration2.ma nat/minimization.ma nat/primes.ma nat/relevant_equations.ma
 nat/times.ma nat/plus.ma
-nat/sieve.ma list/sort.ma nat/factorization.ma nat/sqrt.ma
+nat/sieve.ma list/sort.ma nat/primes.ma