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