matita/components/grafite_parser/.depend.opt

   1 dependenciesParser.cmi:
   2 grafiteParser.cmi:
   3 cicNotation2.cmi:
   4 nEstatus.cmi:
   5 grafiteDisambiguate.cmi: nEstatus.cmi
   6 print_grammar.cmi:
   7 dependenciesParser.cmo: dependenciesParser.cmi
   8 dependenciesParser.cmx: dependenciesParser.cmi
   9 grafiteParser.cmo: grafiteParser.cmi
  10 grafiteParser.cmx: grafiteParser.cmi
  11 cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi
  12 cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi
  13 nEstatus.cmo: nEstatus.cmi
  14 nEstatus.cmx: nEstatus.cmi
  15 grafiteDisambiguate.cmo: grafiteDisambiguate.cmi
  16 grafiteDisambiguate.cmx: grafiteDisambiguate.cmi
  17 print_grammar.cmo: print_grammar.cmi
  18 print_grammar.cmx: print_grammar.cmi