src/HOL/ex/Sorting_Algorithms_Examples.thy
7 months ago haftmann 2018-11-07 dedicated examples for sorting