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

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

# Dependencies:

Exercise1.3.cert: Exercise1.3.lisp
