OPTIONS = QUIT_ON_FAILURE
HOLHEAP = ../../hol-lib/lemheap
INCLUDES = ../../hol-lib