]> matita.cs.unibo.it Git - helm.git/commitdiff
removed reference to primes1.ma (now removed)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:09:09 +0000 (14:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:09:09 +0000 (14:09 +0000)
helm/software/matita/library/library_notation.ma

index 45f841d6484a02717ec3246e83215f5101c320ca..475fe38f849ada0843463b40ad5b430590772676 100644 (file)
@@ -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".