ACL2 ?= ../../../saved_acl2
include ../../Makefile-generic
BOOKS = fixedpoint record-exports defrecord records domain set-domain defarray defrecord-fast mem-domain memory
-include Makefile-deps
