Check out
A_isabelle’s
Shuffle