History log of /seL4-l4v-master/HOL4/src/coretypes/optionLib.sml
Revision Date Author Comments
# 678c828d 13-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Extend/create add_<thy>_compset entrypoints prompted by CakeML
# c4967d07 08-Jan-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Add OPTION_MAP2_THM to OPTION_rws compset delta
# 401e3992 27-Oct-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Move pair, one, sum and option into one combined coretypes directory