include ../../../../../../Makefile-generic

ACL2 = ../../../../../../../saved_acl2

# Dependencies:

mccarthy-91.cert: mccarthy-91.lisp
mccarthy-91.cert: ../../defmul.cert
