Re: [isabelle] Prime number theorem for isabelle2016?

All past versions of Isabelle are available here:

However, I canât guarantee that you can find other necessary software to get them running again.

That version of the PNT seems to be lost to bit-rot, and the best hope is to finally port John Harrisonâs HOL Light version.

Larry Paulson

> On 30 Mar 2016, at 10:51, Mario Carneiro <di.gama at> wrote:
> Hello all,
> The prime number theorem exists at
> , but it appears to not have been kept up to date (it was written for
> isabelle 2004). Is it on the AFP or in the library? Barring that, does
> Isabelle distribute old versions?
> Mario

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.