History log of /seL4-l4v-10.1.1/HOL4/examples/HolCheck/muCheck.sml
Revision Date Author Comments
# 8d83067c 21-Oct-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove TABs from examples
# 77670ed4 04-Oct-2009 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix some errors in HolCheck caused by adoption of Basis 2002 features.
Also reformat some of the code to squeeze more of it back inside 80
columns.
# b75ec895 07-Dec-2008 Michael Norrish <Michael.Norrish@nicta.com.au>

Get the HolCheck directory to build. It would be nice to get the
AMBA example to work as well, but this isn't quite there just yet.
The bulk of the problems in HolCheck were the change to the string
type, with one or two caused by the additional pickiness of
parse_in_context.
# 36ff3808 01-Nov-2007 Hasan Amjad <ha227@cam.ac.uk>

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