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

TOP_BOOKS = ma128intserial-ma128int.cert ma128intserial.cert 

# Dependencies:

ma128intserial.cert: ma128intserial.lisp
ma128intserial.cert: ../../../deterministic-systems/128/serial/serial.cert
ma128intserial.cert: ../../../nth-thms.cert              
ma128intserial.cert: ../../../meta.cert                  
ma128intserial.cert: ../../../defun-weak-sk.cert         
ma128intserial.cert: ../../non-det-encap-wfbisim.cert        
ma128intserial.cert: ../ma128int.cert                       

ma128intserial-ma128int.cert: ma128intserial-ma128int.lisp
ma128intserial-ma128int.cert: ma128intserial.cert
