include ../../Makefile-generic

TOP_BOOKS = det-encap-wfbisim.cert det-macros.cert inst.cert

# Dependencies:

# build.cert: build.lisp

inst.cert: inst.lisp

det-encap-wfbisim.cert: det-encap-wfbisim.lisp
det-encap-wfbisim.cert: ../defun-weak-sk.cert

det-macros.cert: det-macros.lisp
