2 parserTHF.cmi : astTHF.cmo
10 lexerTHF.cmo : parserTHF.cmi
11 lexerTHF.cmx : parserTHF.cmx
12 parser.cmo : ast.cmo parser.cmi
13 parser.cmx : ast.cmx parser.cmi
14 parserTHF.cmo : astTHF.cmo parserTHF.cmi
15 parserTHF.cmx : astTHF.cmx parserTHF.cmi
16 tptp2grafite.cmo : parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi
17 tptp2grafite.cmx : parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi