From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 24 Jul 2006 14:09:09 +0000 (+0000)
Subject: removed reference to primes1.ma (now removed)
X-Git-Tag: make_still_working~7017
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c7c8932407f0c9bc75a596f5b51058cbe9d86f40;p=helm.git

removed reference to primes1.ma (now removed)
---

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".