matita/components/tptp_grafite/.depend.opt

   1 parser.cmi: ast.cmx
   2 tptp2grafite.cmi:
   3 ast.cmo:
   4 ast.cmx:
   5 lexer.cmo: parser.cmi
   6 lexer.cmx: parser.cmx
   7 parser.cmo: ast.cmx parser.cmi
   8 parser.cmx: ast.cmx parser.cmi
   9 tptp2grafite.cmo: parser.cmi lexer.cmx ast.cmx tptp2grafite.cmi
  10 tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi