From c2157359bd4c8f08b73d394495aa0fcacf043380 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 24 Jul 2006 14:09:09 +0000 Subject: [PATCH] removed reference to primes1.ma (now removed) --- matita/library/library_notation.ma | 1 - 1 file changed, 1 deletion(-) 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". -- 2.39.2