components/tptp_grafite/.depend

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