all:
	coqc ImpSyntax.v
	coqc ImpCommon.v
	coqc ImpEval.v