X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Farithmetics%2Fnth_prime.ma;h=c973d0b12a272f74630310410960539b84acd8e1;hb=1f946a70bc439ced80c695f0fd0c210df0d3b767;hp=7b7c70bfe5cabfca704dce146034cb3ff1abad88;hpb=53452958508001e7af3090695b619fe92135fb9e;p=helm.git

diff --git a/matita/matita/lib/arithmetics/nth_prime.ma b/matita/matita/lib/arithmetics/nth_prime.ma
index 7b7c70bfe..c973d0b12 100644
--- a/matita/matita/lib/arithmetics/nth_prime.ma
+++ b/matita/matita/lib/arithmetics/nth_prime.ma
@@ -12,6 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
+(* To be ported
 include "nat/primes.ma".
 include "nat/lt_arith.ma".
 
@@ -198,4 +199,4 @@ apply le_to_or_lt_eq.assumption.
 apply ex_m_le_n_nth_prime_m.
 simplify.unfold prime in H.elim H.assumption.
 qed.
-
+*)
\ No newline at end of file