ACL2 ?= ../../../saved_acl2
include ../../Makefile-generic
BOOKS = base deps equiv raw child set erase leafp royalp top
-include Makefile-deps
