History log of /seL4-l4v-master/HOL4/src/coretypes/PairRules.sml
Revision Date Author Comments
# 6a81a039 21-May-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove TABs from src

Will also make selftest to check that they aren't introduced
# 401e3992 27-Oct-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

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