include ../../arithmetic/Makefile

real-listp.cert: real-listp.lisp

realp.cert: realp.lisp

top.cert: realp.cert
top.cert: real-listp.cert
