ACL2 ?= ../../../saved_acl2
include ../../Makefile-generic
BOOKS = nth-rules nary example ordinal-order rewrite-equal-hint
-include Makefile-deps
