From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 22 Feb 2008 17:34:56 +0000 (+0000)
Subject: sieve of erathostene (proof of soundness almost done)
X-Git-Tag: make_still_working~5581
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=5b83f526bc4c63424313df91173b844699eada96;hp=5b83f526bc4c63424313df91173b844699eada96;p=helm.git

sieve of erathostene (proof of soundness almost done)
---