all:

streams:
	tar zcvf streams.tgz kahn_lazy.ml kahn_lazy_epsilon.ml sequences.ml \
	kahn_lazy_epsilon.v kahn.hs control_structures.hs \
	control_structures.ml 
clean:
	rm -r -f *.cmi *.cmo *.cmx *.o *.out *.hi *.glob *.vo *.vok *.vos *~


