-all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo
+all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo Computation/Equivalence.vo
clean:; rm */*.vo
+Computation/Equivalence.vo: Computation/Monad.vo Computation/Termination.vo
Computation/Termination.vo: Computation/Monad.vo
Computation/Tactics.vo: Computation/Monad.vo
Computation/Eval.vo: Computation/Termination.vo