History log of /seL4-l4v-master/HOL4/help/Docfiles/boolSyntax.list_mk_icomb.doc
Revision Date Author Comments
# f969d86b 05-Oct-2017 Andreas Lööw <AndreasLoow@users.noreply.github.com>

Various doc fixes
# b8959393 03-Dec-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

Stick some minor utility functions into boolSyntax. Names are John Harrison's.