History log of /seL4-l4v-master/HOL4/examples/muddy/MuddyCore.sml
Revision Date Author Comments
# 6a0d4c3b 15-Nov-2007 Michael Norrish <Michael.Norrish@nicta.com.au>

Now that it's been exiled from src/, the muddy.so file doesn't get
moved across to sigobj. Enforce this for the Windows build in
build.sml, and also modify the reference in MuddyCore.sml.
# 36ff3808 01-Nov-2007 Hasan Amjad <ha227@cam.ac.uk>

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