From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 14:11:45 +0000 (+0000)
Subject: removed a comment/bug report about let..in rendering, now fixed
X-Git-Tag: V_0_1_2_1~17
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=86eaff4471bdce9f632838d3a0b18d082015c2db;p=helm.git

removed a comment/bug report about let..in rendering, now fixed
---

diff --git a/helm/matita/library/nat/primes.ma b/helm/matita/library/nat/primes.ma
index dddd91516..500c8117f 100644
--- a/helm/matita/library/nat/primes.ma
+++ b/helm/matita/library/nat/primes.ma
@@ -567,7 +567,6 @@ apply nat_case n.
 change with prime (S(S O)).
 apply primeb_to_Prop (S(S O)).
 intro.
-(* ammirare la resa del letin !! *)
 change with
 let previous_prime \def (nth_prime m) in
 let upper_bound \def S (fact previous_prime) in