History log of /seL4-l4v-master/HOL4/examples/HolBdd/MachineTransitionScript.sml
Revision Date Author Comments
# 027bfa3b 02-May-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix examples/HolBdd for tight equality
# 79237756 28-Jul-2017 Chun Tian (binghe) <binghe.lisp@gmail.com>

Fixed HolBddLib (for mosml only)
# 36ff3808 01-Nov-2007 Hasan Amjad <ha227@cam.ac.uk>

muddy, HolBdd and HolCheck moved into examples. Mainly to simplify HOL installation requirements.