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

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

# Dependencies:

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

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

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


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