History log of /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/bdd.h
Revision Date Author Comments
# 6791cfd1 26-Jul-2014 Piotr Trojanek <piotr.trojanek@gmail.com>

double 'the' removed
# 36ff3808 01-Nov-2007 Hasan Amjad <ha227@cam.ac.uk>

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