2 all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo
5 Computation/Termination.vo: Computation/Monad.vo
6 Computation/Tactics.vo: Computation/Monad.vo
7 Computation/Eval.vo: Computation/Termination.vo
10 coqc -R Computation Computation $<