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

TOP_BOOKS = isa128int.cert ma128int.cert ma128int-isa128int.cert

# Dependencies:

isa128int.cert: isa128int.lisp
isa128int.cert: ../inst.cert
isa128int.cert: ../../alist-thms.cert
isa128int.cert: ../non-det-macros.cert

ma128int.cert: ma128int.lisp
ma128int.cert: isa128int.cert             

ma128int-isa128int.cert: ma128int-isa128int.lisp
ma128int-isa128int.cert: ../../nth-thms.cert           
ma128int-isa128int.cert: ../../meta.cert               
ma128int-isa128int.cert: ../../defun-weak-sk.cert      
ma128int-isa128int.cert: ../non-det-encap-wfbisim.cert     
ma128int-isa128int.cert: ma128int.cert                       
