include /projects/acl2/v2-5/books/Makefile-generic

BOOKS = total-ordering set-theory \
        powerset-examples recursion-by-choose set-count

# Dependencies:

set-theory.cert: set-theory.lisp
set-theory.cert: total-ordering.cert
set-theory.cert: /projects/acl2/v2-5/books/arithmetic/top-with-meta.cert

total-ordering.cert: total-ordering.lisp

powerset-examples.cert: powerset-examples.lisp
powerset-examples.cert: set-theory.cert

recursion-by-choose.cert: recursion-by-choose.lisp
recursion-by-choose.cert: set-theory.cert

set-count.cert: set-count.lisp
set-count.cert: set-theory.cert