[isabelle] Prime number theorem for isabelle2016?



Hello all,

The prime number theorem exists at
http://www.andrew.cmu.edu/user/avigad/isabelle/NumberTheory/PrimeNumberTheorem.html
, 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.