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

TOP_BOOKS = isa128.cert ma128.cert ma128-isa128.cert

# Dependencies:

isa128.cert: isa128.lisp
isa128.cert: ../inst.cert
isa128.cert: ../../alist-thms.cert
isa128.cert: ../det-macros.cert

ma128.cert: ma128.lisp
ma128.cert: isa128.cert             

ma128-isa128.cert: ma128-isa128.lisp
ma128-isa128.cert: ../../nth-thms.cert           
ma128-isa128.cert: ../../meta.cert               
ma128-isa128.cert: ../../defun-weak-sk.cert      
ma128-isa128.cert: ../det-encap-wfbisim.cert     
ma128-isa128.cert: ma128.cert                       
