src/HOL/Library/Sorting_Algorithms.thy
8 months ago haftmann 2018-11-07 generic merge sort
8 months ago haftmann 2018-11-04 concrecte sorting algorithms beyond insertion sort
8 months ago haftmann 2018-10-26 dedicated theory for sorting algorithms