parser.cmi : ast.cmo
parserTHF.cmi : astTHF.cmo
tptp2grafite.cmi :
ast.cmo :
ast.cmx :
lexer.cmo : parser.cmi
lexer.cmx : parser.cmx
astTHF.cmo :
astTHF.cmx :
lexerTHF.cmo : parserTHF.cmi
lexerTHF.cmx : parserTHF.cmx
parser.cmo : ast.cmo parser.cmi
parser.cmx : ast.cmx parser.cmi
parserTHF.cmo : astTHF.cmo parserTHF.cmi
parserTHF.cmx : astTHF.cmx parserTHF.cmi
tptp2grafite.cmo : parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi
tptp2grafite.cmx : parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi