History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/mp_then.mp_then.doc
Revision Date Author Comments
# 4b35dc7e 13-Jul-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Document mp_then

Thanks to Ramana for providing the first draft.

Closes #489