all: Recursion/Eval.vo Recursion/Tactics.vo Recursion/Termination.vo Recursion/Monad.vo
clean:; rm */*.vo

Recursion/Termination.vo: Recursion/Monad.vo
Recursion/Tactics.vo: Recursion/Monad.vo
Recursion/Eval.vo: Recursion/Termination.vo

%.vo: %.v
	coqc -R Recursion Recursion $<