History log of /seL4-l4v-master/HOL4/src/sort/sortingLib.sig
Revision Date Author Comments
# b24c9fb9 14-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Document how to use add_sorting_compset in comment
# 678c828d 13-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Extend/create add_<thy>_compset entrypoints prompted by CakeML