ACL2 ?= ../../../saved_acl2
include ../../Makefile-generic
BOOKS = symbol-fns symbol-fns-exports
-include Makefile-deps
