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

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

# Dependencies:

Exercise1.1.cert: Exercise1.1.lisp
