include ../Makefile-generic

# Dependencies:

set-theory.cert: set-theory.lisp
set-theory.cert: total-ordering.cert
set-theory.cert: ../arithmetic/top-with-meta.cert

total-ordering.cert: total-ordering.lisp




