sieve.ma now depends only on primes.ma

[helm.git] / helm / software / matita / library / depends

diff --git a/helm/software/matita/library/depends b/helm/software/matita/library/depends
index 8250ca24449fb0b918dab45f0ffd8a8c3650e9bc..9437906008b6b0cee68d5d95ac0d11a8b4c1eccd 100644 (file)
--- 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