History log of /seL4-l4v-10.1.1/HOL4/src/IndDef/CoIndDefLib.sml
Revision Date Author Comments
# b4b8e85c 18-Aug-2018 Andreas Lööw <AndreasLoow@users.noreply.github.com>

Don't export ERR from HolKernel
# 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
# bd77b8fb 20-Oct-2015 Michael Norrish <Michael.Norrish@nicta.com.au>

Delete trailing whitespace
# fd1662cc 19-Aug-2015 Andrea Condoluci <andreacondoluci@gmail.com>

bugfixes
# d60e0ec3 19-Aug-2015 Andrea Condoluci <andreacondoluci@gmail.com>

clean up