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

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

# Dependencies:

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

ma-int.cert: ma-int.lisp
ma-int.cert: isa-int.cert
ma-int.cert: ../non-det-macros.cert

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



