[isabelle] nearly all binary searches are broken..



Interesting for those of us who do program verification:

http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html

Cheers,
Gerwin





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