-Recursion/Termination.vo: Recursion/Monad.vo
-Recursion/Tactics.vo: Recursion/Monad.vo
-Recursion/Eval.vo: Recursion/Termination.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