1 grafiteParser.cmo: grafiteParser.cmi
2 grafiteParser.cmx: grafiteParser.cmi
3 cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi
4 cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi
5 matitaDisambiguator.cmo: matitaDisambiguator.cmi
6 matitaDisambiguator.cmx: matitaDisambiguator.cmi
7 grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi
8 grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi
9 grafiteParserMisc.cmo: grafiteParserMisc.cmi
10 grafiteParserMisc.cmx: grafiteParserMisc.cmi