include ../../Makefile-generic
ACL2 = ../../../saved_acl2

BOOKS = primitives membership fast outer sort sets set-order typed

# Dependencies:

fast.cert: fast.lisp
fast.cert: membership.cert

membership.cert: membership.lisp
membership.cert: primitives.cert

outer.cert: outer.lisp
outer.cert: fast.cert

package.cert: package.lisp

primitives.cert: primitives.lisp

set-order.cert: set-order.lisp
set-order.cert: primitives.cert
set-order.cert: membership.cert
set-order.cert: fast.cert
set-order.cert: sets.cert

sets.cert: sets.lisp
sets.cert: primitives.cert
sets.cert: membership.cert
sets.cert: fast.cert
sets.cert: outer.cert
sets.cert: sort.cert

sort.cert: sort.lisp
sort.cert: outer.cert

typed.cert: typed.lisp
typed.cert: sets.cert
