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

TOP_BOOKS = ma128serial-ma128.cert ma128serial.cert serial.cert 

# Dependencies:

serial.cert: serial.lisp

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

ma128serial-ma128.cert: ma128serial-ma128.lisp
ma128serial-ma128.cert: ma128serial.cert
