Re: [isabelle] AFP/VerifyThis2018 document fails in development version



This is actually the updated ROOT file.

See AFP/b28b21cce555.




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