[isabelle-dev] Fisher–Yates in AFP

Manuel Eberl eberlm at in.tum.de
Tue Oct 4 13:05:35 CEST 2016

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.


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

More information about the isabelle-dev mailing list