From c7c8932407f0c9bc75a596f5b51058cbe9d86f40 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) --- helm/software/matita/library/library_notation.ma | 1 - 1 file changed, 1 deletion(-) 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". -- 2.39.2