cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi
cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi
grafiteDisambiguator.cmo: grafiteDisambiguator.cmi
grafiteDisambiguator.cmx: grafiteDisambiguator.cmi
grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi
cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi
cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi
grafiteDisambiguator.cmo: grafiteDisambiguator.cmi
grafiteDisambiguator.cmx: grafiteDisambiguator.cmi
grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi