History log of /seL4-l4v-master/HOL4/src/sort/sortingLib.sml
Revision Date Author Comments
# 041c52af 14-Jan-2019 Ramana Kumar <ramana@member.fsf.org>

Fix another typo in sortingLib
# 16ac39a2 14-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix even more egregious error in sortingLib.add_sorting_compset
# 678c828d 13-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

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