helm/ocaml/grafite_parser/.depend

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