ACL2 ?= ../../../saved_acl2
include ../../Makefile-generic
BOOKS = syn-pkg auxilary syntax-extensions defevaluator defbinding syntax quine
-include Makefile-deps
