tutorial.vo: tutorial.v
	coqc tutorial.v
