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: 0.4.95@7852~1157
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c2157359bd4c8f08b73d394495aa0fcacf043380;p=helm.git

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

diff --git a/matita/library/library_notation.ma b/matita/library/library_notation.ma
index 45f841d64..475fe38f8 100644
--- a/matita/library/library_notation.ma
+++ b/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".