all:
	coqc StructTactics.v
	coqc ImpSyntax.v
	coqc ImpCommon.v
	coqc ImpEval.v
	coqc ImpStep.v
	coqc ImpSemanticsFacts.v