helm/ocaml/grafite_parser/.depend

   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: grafiteParser.cmi grafiteParserMisc.cmi
  10 grafiteParserMisc.cmx: grafiteParser.cmx grafiteParserMisc.cmi