include ../Makefile-generic

# Dependencies:

computed-hint.cert: computed-hint.lisp

csort.cert: csort.lisp

defpun.cert: defpun.lisp

dft-ex.cert: dft-ex.lisp
dft-ex.cert: dft.cert
dft-ex.cert: ../arithmetic/top-with-meta.cert

dft.cert: dft.lisp

dump-events.cert: dump-events.lisp

expander.cert: expander.lisp

fibonacci.cert: fibonacci.lisp
fibonacci.cert: int-division.cert
fibonacci.cert: grcd.cert

file-io.cert: file-io.lisp

grcd.cert: grcd.lisp
grcd.cert: int-division.cert
grcd.cert: ../ordinals/e0-ordinal.cert

int-division.cert: int-division.lisp
int-division.cert: ../arithmetic/equalities.cert
int-division.cert: ../arithmetic/inequalities.cert

meta-lemmas.cert: meta-lemmas.lisp

mult.cert: mult.lisp

priorities.cert: priorities.lisp

problem13.cert: problem13.lisp
problem13.cert: ../arithmetic/equalities.cert
problem13.cert: ../arithmetic/inequalities.cert
problem13.cert: ../ordinals/e0-ordinal.cert

records.cert: records.lisp
records.cert: total-order.cert

records0.cert: records0.lisp
records0.cert: total-order.cert

rtl-untranslate.cert: rtl-untranslate.lisp
rtl-untranslate.cert: symbol-btree.cert

simplify-defuns.cert: simplify-defuns.lisp
simplify-defuns.cert: file-io.cert

sin-cos.cert: sin-cos.lisp

symbol-btree.cert: symbol-btree.lisp

total-order.cert: total-order.lisp
