History log of /seL4-l4v-master/HOL4/examples/boyer_moore/set_lemmasScript.sml
Revision Date Author Comments
# 46eb6725 06-Dec-2018 James Shaker <james.shaker@gmail.com>

Removed trailing whitespace
# b35712d9 05-Dec-2018 James Shaker <james.shaker@gmail.com>

Added Boyer Moore substring search algorithm implementation (on lists and strings) to examples