include ../../../Makefile-generic

TOP_BOOKS =  isa.cert ma.cert  ma-isa.cert

# Dependencies:

isa.cert: isa.lisp
isa.cert: ../../alist-thms.cert
isa.cert: ../inst.cert

ma.cert: ma.lisp
ma.cert: ../inst.cert
ma.cert: ../../alist-thms.cert

ma-isa.cert: ma-isa.lisp
ma-isa.cert: ../../nth-thms.cert
ma-isa.cert: ../../meta.cert
ma-isa.cert: ../non-det-encap-wfbisim.cert
ma-isa.cert: isa.cert
ma-isa.cert: ma.cert
