X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Flibrary_notation.ma;h=475fe38f849ada0843463b40ad5b430590772676;hb=894c3e4038c93b484896e81132eae55046e47605;hp=45f841d6484a02717ec3246e83215f5101c320ca;hpb=42994a7dbd272322126d5d6f4d64b2762f572e4b;p=helm.git

diff --git a/helm/software/matita/library/library_notation.ma b/helm/software/matita/library/library_notation.ma
index 45f841d64..475fe38f8 100644
--- a/helm/software/matita/library/library_notation.ma
+++ b/helm/software/matita/library/library_notation.ma
@@ -26,7 +26,6 @@ include "nat/minimization.ma".
 include "nat/permutation.ma".
 include "nat/sigma_and_pi.ma".
 include "nat/factorization.ma".
-include "nat/primes1.ma".
 include "nat/times.ma".
 include "nat/fermat_little_theorem.ma".
 include "nat/nat.ma".