all:
	coqc StructTactics.v
	coqc LC.v