include ../../Makefile-generic

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

# Dependencies:

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

non-det-macros.cert: non-det-macros.lisp

inst.cert: inst.lisp



