matita/components/grafite_parser/.depend.opt

   1 dependenciesParser.cmi:
   2 grafiteParser.cmi:
   3 print_grammar.cmi: grafiteParser.cmi
   4 dependenciesParser.cmo: dependenciesParser.cmi
   5 dependenciesParser.cmx: dependenciesParser.cmi
   6 grafiteParser.cmo: grafiteParser.cmi
   7 grafiteParser.cmx: grafiteParser.cmi
   8 print_grammar.cmo: print_grammar.cmi
   9 print_grammar.cmx: print_grammar.cmi