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

ACL2 = ../../../../../saved_acl2

# Dependencies:

addition.cert: addition.lisp
addition.cert: normal-form.cert

congruences-1.cert: congruences-1.lisp
congruences-1.cert: negation.cert

congruences-2.cert: congruences-2.lisp
congruences-2.cert: multiplication.cert

examples.cert: examples.lisp
examples.cert: congruences-2.cert

lexicographical-ordering.cert: lexicographical-ordering.lisp
lexicographical-ordering.cert: term.cert
lexicographical-ordering.cert: ../../../../ordinals/ordinals-without-arithmetic.cert

monomial.cert: monomial.lisp
monomial.cert: term.cert

multiplication.cert: multiplication.lisp
multiplication.cert: congruences-1.cert

negation.cert: negation.lisp
negation.cert: addition.cert

normal-form.cert: normal-form.lisp
normal-form.cert: polynomial.cert
normal-form.cert: lexicographical-ordering.cert

polynomial.cert: polynomial.lisp
polynomial.cert: monomial.cert

term.cert: term.lisp
