[isabelle-dev] Fisher–Yates in AFP

[Manuel Eberl]

I've never used SourceTree, and it is, of course, very difficult to 
debug such things from afar.

I could of course, with your permission, simply commit and push the 
entry myself.

Cheers,

Manuel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20161004/673841d4/attachment-0002.html>