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-ex.cert: dft-ex.acl2

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

find-lemmas.cert: find-lemmas.lisp

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

hanoi.cert: hanoi.lisp
hanoi.cert: hanoi.acl2

how-to-prove-thms.cert: how-to-prove-thms.lisp

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

process-book-readme.cert: process-book-readme.lisp

radix.cert: radix.lisp
radix.cert: ../arithmetic-2/meta/top.cert
radix.cert: ../arithmetic-2/floor-mod/floor-mod.cert
radix.cert: radix.acl2

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

sticky-disable.cert: sticky-disable.lisp

symbol-btree.cert: symbol-btree.lisp

total-order.cert: total-order.lisp

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