all:
	coqc StructTactics.v
	coqc ImpSyntax.v
	coqc ImpCommon.v
	coqc ImpEval.v
	coqc ImpStep.v
	coqc ImpSemanticsFacts.v
	coqc ImpInterp.v
	coqc ImpInterpProof.v
	coqc ImpInterpNock.v
	coqc ImpInterpNockProof.v