all:
	coqc -I ../utils refocusing_lang
	coqc -I ../utils refocusing_trace_signatures
	coqc -I ../utils refocusing_trace_substitutions
	coqc -I ../utils simple_arith_trace
