src/HOL/Library/Comparator.thy
8 months ago haftmann 2018-11-07 more direct implementations of comparators
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
8 months ago haftmann 2018-10-25 executable comparators apt for sorting