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