grafiteParser.cmo: grafiteParser.cmi 
grafiteParser.cmx: grafiteParser.cmi 
cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi 
cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi 
matitaDisambiguator.cmo: matitaDisambiguator.cmi 
matitaDisambiguator.cmx: matitaDisambiguator.cmi 
grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi 
grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi 
grafiteParserMisc.cmo: grafiteParser.cmi grafiteParserMisc.cmi 
grafiteParserMisc.cmx: grafiteParser.cmx grafiteParserMisc.cmi