include ../Makefile-generic

TOP_BOOKS = alist-thms.cert defun-weak-sk.cert ihs.cert meta.cert nth-thms.cert

# Dependencies:

# build.cert: build.lisp

alist-thms.cert: alist-thms.lisp

defun-weak-sk.cert: defun-weak-sk.lisp

meta.cert: meta.lisp

ihs.cert: ihs.lisp

nth-thms.cert: nth-thms.lisp
