autodot.mlx : autodot.ml xa_h.mlx sort_h.mlx gensym_h.mlx yyerror_h.mlx
auto_h.mlx : auto_h.ml
auto.mlx : auto.ml auto_h.mlx fixbool_h.mlx
cc_h.mlx : cc_h.ml term_h.mlx
cc.mlx : cc.ml cc_h.mlx
clause0.mlx : clause0.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx
clause10.mlx : clause10.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause11.mlx : clause11.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause12.mlx : clause12.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause13.mlx : clause13.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx intersym_h.mlx
clause14.mlx : clause14.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx intersym_h.mlx
clause1.mlx : clause1.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx
clause2.mlx : clause2.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx
clause3.mlx : clause3.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx
clause4.mlx : clause4.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx
clause5.mlx : clause5.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause6.mlx : clause6.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause7.mlx : clause7.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause8.mlx : clause8.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx fixbool_h.mlx
clause9.mlx : clause9.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx
clause_h.mlx : clause_h.ml auto_h.mlx term_h.mlx
clause.mlx : clause.ml clause_h.mlx heap_h.mlx verbose_h.mlx rel_h.mlx sort_h.mlx scc_h.mlx topsort_h.mlx gensym_h.mlx intersym_h.mlx
coq_auto_h.mlx : coq_auto_h.ml auto_h.mlx
coq_auto.mlx : coq_auto.ml coq_auto_h.mlx coq_fun_h.mlx coq_kw_h.mlx gensym_h.mlx
coq_clause_h.mlx : coq_clause_h.ml clause_h.mlx
coq_clause.mlx : coq_clause.ml coq_clause_h.mlx coq_auto_h.mlx coq_fun_h.mlx coq_term_h.mlx coq_kw_h.mlx sort_h.mlx
coq_fun_h.mlx : coq_fun_h.ml
coq_fun.mlx : coq_fun.ml coq_fun_h.mlx coq_kw_h.mlx ne_h.mlx
coq_gclause_h.mlx : coq_gclause_h.ml gclause_h.mlx
coq_gclause.mlx : coq_gclause.ml coq_gclause_h.mlx coq_term_h.mlx coq_fun_h.mlx coq_kw_h.mlx sort_h.mlx
coq_kw_h.mlx : coq_kw_h.ml
coq_kw.mlx : coq_kw.ml coq_kw_h.mlx
coq_model_h.mlx : coq_model_h.ml auto_h.mlx model_h.mlx coq_gclause_h.mlx coq_auto_h.mlx
coq_model.mlx : coq_model.ml coq_fun_h.mlx coq_term_h.mlx coq_model_h.mlx coq_kw_h.mlx gensym_h.mlx sort_h.mlx rel_h.mlx scc_h.mlx
coq_proof_h.mlx : coq_proof_h.ml clause_h.mlx
coq_proof.mlx : coq_proof.ml coq_term_h.mlx coq_clause_h.mlx coq_proof_h.mlx gensym_h.mlx sort_h.mlx
coq_seidl_h.mlx : coq_seidl_h.ml seidl_h.mlx model_h.mlx
coq_seidl.mlx : coq_seidl.ml coq_seidl_h.mlx coq_gclause_h.mlx verbose_h.mlx gensym_h.mlx sort_h.mlx
coq_term_h.mlx : coq_term_h.ml term_h.mlx
coq_term.mlx : coq_term.ml coq_term_h.mlx coq_fun_h.mlx sort_h.mlx rel_h.mlx
determinize_h.mlx : determinize_h.ml auto_h.mlx
determinize.mlx : determinize.ml determinize_h.mlx sort_h.mlx intersym_h.mlx verbose_h.mlx
digraph_h.mlx : digraph_h.ml
exactsymlex_h.mlx : exactsymlex_h.ml
exactsym_lex.mlx : exactsym_lex.ml exactsymlex_h.mlx
fixbool_h.mlx : fixbool_h.ml
fixbool.mlx : fixbool.ml fixbool_h.mlx
gag.mlx : gag.ml term.mlx gclause.mlx sort.mlx
gclause_h.mlx : gclause_h.ml term_h.mlx
gclause.mlx : gclause.ml gclause_h.mlx
gclauseutils_h.mlx : gclauseutils_h.ml gclause_h.mlx
gclauseutils.mlx : gclauseutils.ml gclauseutils_h.mlx
gensym_h.mlx : gensym_h.ml
gensym.mlx : gensym.ml gensym_h.mlx
h1ficc_h.mlx : h1ficc_h.ml cc_h.mlx gclause_h.mlx auto_h.mlx
h1ficc.mlx : h1ficc.ml h1ficc_h.mlx rel_h.mlx verbose_h.mlx gensym_h.mlx
h1fi.mlx : h1fi.ml verbose_h.mlx tptp_h.mlx yyerror_h.mlx h1ficc_h.mlx
h1mc.mlx : h1mc.ml tptp_h.mlx plauto_h.mlx proof_h.mlx yyerror_h.mlx monadic_h.mlx gensym_h.mlx verbose_h.mlx model_h.mlx coq_fun_h.mlx coq_term_h.mlx coq_auto_h.mlx coq_model_h.mlx coq_kw_h.mlx natded_h.mlx pfcprinttree_h.mlx pfcprintcoq_h.mlx sort_h.mlx rel_h.mlx topsort_h.mlx scc_h.mlx
h1trace.mlx : h1trace.ml proof_h.mlx yyerror_h.mlx ne_h.mlx natded_h.mlx pfcprint_h.mlx pfcprinttree_h.mlx pfcprinttreeabbrv_h.mlx pfcprintcoq_h.mlx coq_term_h.mlx coq_gclause_h.mlx coq_fun_h.mlx sort_h.mlx
heap1_h.mlx : heap1_h.ml
heap1.mlx : heap1.ml heap_h.mlx
heap2.mlx : heap2.ml heap_h.mlx
heap_h.mlx : heap_h.ml
heap.mlx : heap.ml heap_h.mlx queue_h.mlx
himmlxxx.mlx : himmlxxx.ml
intersym_h.mlx : intersym_h.ml
intersymlex_h.mlx : intersymlex_h.ml
intersym_lex.mlx : intersym_lex.ml intersymlex_h.mlx
intersym.mlx : intersym.ml intersym_h.mlx intersymlex_h.mlx exactsymlex_h.mlx sort_h.mlx
linear_h.mlx : linear_h.ml linear_tab_h.mlx
linear_lex.mlx : linear_lex.ml linear_h.mlx
linear_tab_h.mlx : linear_tab_h.ml lin_h.mlx
linear_tab.mlx : linear_tab.ml linear_tab_h.mlx
lin_h.mlx : lin_h.ml
linmain.mlx : linmain.ml linear_h.mlx linproto_h.mlx gensym_h.mlx yyerror_h.mlx
lin.mlx : lin.ml linproto_h.mlx gensym_h.mlx sort_h.mlx rel_h.mlx
linproto_h.mlx : linproto_h.ml lin_h.mlx
mace_h.mlx : mace_h.ml fixbool_h.mlx term_h.mlx
mace.mlx : mace.ml mace_h.mlx
main.mlx : main.ml tptp_h.mlx plauto_h.mlx seidl_h.mlx print_seidl_h.mlx gensym_h.mlx verbose_h.mlx version_h.mlx yyerror_h.mlx sort_h.mlx rel_h.mlx
model_h.mlx : model_h.ml auto_h.mlx gclause_h.mlx
model.mlx : model.ml model_h.mlx verbose_h.mlx sort_h.mlx rel_h.mlx cc_h.mlx
monadic_h.mlx : monadic_h.ml gclause_h.mlx
monadic.mlx : monadic.ml monadic_h.mlx
monitor.mlx : monitor.ml
morphdef_h.mlx : morphdef_h.ml term_h.mlx
morph_h.mlx : morph_h.ml morph_tab_h.mlx
morph_lex.mlx : morph_lex.ml morph_h.mlx
morph.mlx : morph.ml tptp_h.mlx morph_h.mlx gensym_h.mlx morphrewrite_h.mlx yyerror_h.mlx
morphrewrite_h.mlx : morphrewrite_h.ml gclause_h.mlx
morphrewrite.mlx : morphrewrite.ml morphrewrite_h.mlx
morph_tab_h.mlx : morph_tab_h.ml morphdef_h.mlx
morph_tab.mlx : morph_tab.ml morph_tab_h.mlx
natded_h.mlx : natded_h.ml proof_aux_h.mlx
natded.mlx : natded.ml natded_h.mlx ne_h.mlx intersym_h.mlx rel_h.mlx sort_h.mlx
ne_h.mlx : ne_h.ml
ne.mlx : ne.ml ne_h.mlx
old_coq_model2.mlx : old_coq_model2.ml coq_fun_h.mlx coq_term_h.mlx coq_model_h.mlx coq_kw_h.mlx gensym_h.mlx sort_h.mlx
old_coq_model.mlx : old_coq_model.ml coq_fun_h.mlx coq_term_h.mlx coq_model_h.mlx coq_kw_h.mlx gensym_h.mlx sort_h.mlx
pdxmodel_h.mlx : pdxmodel_h.ml pdxmodel_tab_h.mlx
pfcprintcoq_h.mlx : pfcprintcoq_h.ml natded_h.mlx
pfcprintcoq.mlx : pfcprintcoq.ml pfcprintcoq_h.mlx coq_fun_h.mlx coq_term_h.mlx coq_gclause_h.mlx coq_kw_h.mlx sort_h.mlx topsort_h.mlx gensym_h.mlx
pfcprint_h.mlx : pfcprint_h.ml natded_h.mlx
pfcprint.mlx : pfcprint.ml pfcprint_h.mlx
pfcprinttreeabbrv_h.mlx : pfcprinttreeabbrv_h.ml natded_h.mlx
pfcprinttreeabbrv.mlx : pfcprinttreeabbrv.ml pfcprinttreeabbrv_h.mlx sort_h.mlx rel_h.mlx
pfcprinttree_h.mlx : pfcprinttree_h.ml natded_h.mlx
pfcprinttree.mlx : pfcprinttree.ml pfcprinttree_h.mlx
pl2gastex.mlx : pl2gastex.ml plauto_h.mlx intersym_h.mlx sort_h.mlx gensym_h.mlx yyerror_h.mlx
pl2tptp.mlx : pl2tptp.ml pl_h.mlx gensym_h.mlx yyerror_h.mlx
plauto_h.mlx : plauto_h.ml plauto_tab_h.mlx
plauto_lex.mlx : plauto_lex.ml plauto_h.mlx
plauto_tab_h.mlx : plauto_tab_h.ml auto_h.mlx
plauto_tab.mlx : plauto_tab.ml plauto_tab_h.mlx yyerror_h.mlx
pldet.mlx : pldet.ml plauto_h.mlx determinize_h.mlx yyerror_h.mlx verbose_h.mlx
pldot.mlx : pldot.ml plauto_h.mlx sort_h.mlx gensym_h.mlx yyerror_h.mlx
pl_h.mlx : pl_h.ml pl_tab_h.mlx
pl_lex.mlx : pl_lex.ml pl_h.mlx
plpurge.mlx : plpurge.ml pl_h.mlx rel_h.mlx yyerror_h.mlx
pl_tab_h.mlx : pl_tab_h.ml gclause_h.mlx
pl_tab.mlx : pl_tab.ml pl_tab_h.mlx
print_seidl_h.mlx : print_seidl_h.ml seidl_h.mlx
print_seidl.mlx : print_seidl.ml print_seidl_h.mlx
profile.mlx : profile.ml
proof_aux_h.mlx : proof_aux_h.ml gclause_h.mlx
proof_h.mlx : proof_h.ml proof_tab_h.mlx
proof_lex.mlx : proof_lex.ml proof_h.mlx
proof_tab_h.mlx : proof_tab_h.ml proof_aux_h.ml gclause_h.mlx
proof_tab.mlx : proof_tab.ml proof_tab_h.mlx yyerror_h.mlx
queue_h.mlx : queue_h.ml
queue.mlx : queue.ml queue_h.mlx
rel_h.mlx : rel_h.ml
rel.mlx : rel.ml rel_h.mlx
scc_h.mlx : scc_h.ml digraph_h.mlx
scc.mlx : scc.ml scc_h.mlx
seidl_h.mlx : seidl_h.ml term_h.mlx clause_h.mlx gclause_h.mlx
seidl.mlx : seidl.ml seidl_h.mlx monadic_h.mlx gensym_h.mlx sort_h.mlx
sha_h.mlx : sha_h.ml
sha.mlx : sha.ml sha_h.mlx
sort_h.mlx : sort_h.ml
sort.mlx : sort.ml
term_h.mlx : term_h.ml
term.mlx : term.ml term_h.mlx
test_scc.mlx : test_scc.ml rel.mlx scc.mlx
topsort_h.mlx : topsort_h.ml digraph_h.mlx
topsort.mlx : topsort.ml topsort_h.mlx
tptp2dfg.mlx : tptp2dfg.ml tptp_h.mlx yyerror_h.mlx
tptp_h.mlx : tptp_h.ml tptp_tab_h.mlx
tptp_lex.mlx : tptp_lex.ml tptp_h.mlx
tptp_tab_h.mlx : tptp_tab_h.ml gclause_h.mlx
tptp_tab.mlx : tptp_tab.ml tptp_tab_h.mlx yyerror_h.mlx
types_h.mlx : types_h.ml
types.mlx : types.ml types_h.mlx
verbose_h.mlx : verbose_h.ml
verbose.mlx : verbose.ml verbose_h.mlx
version_h.mlx : version_h.ml
xa_h.mlx : xa_h.ml xmlauto_tab_h.mlx
xmlauto_h.mlx : xmlauto_h.ml
xmlauto_lex.mlx : xmlauto_lex.ml xmlauto_tab_h.mlx
xmlauto.mlx : xmlauto.ml xa_h.mlx gclause_h.mlx intersym_h.mlx gensym_h.mlx yyerror_h.mlx rel_h.mlx
xmlauto_private.mlx : xmlauto_private.ml
xmlauto_tab_h.mlx : xmlauto_tab_h.ml xmlauto_h.mlx
xmlauto_tab.mlx : xmlauto_tab.ml xmlauto_tab_h.mlx rel_h.mlx yyerror_h.mlx
yyerror_h.mlx : yyerror_h.ml
yyerror.mlx : yyerror.ml yyerror_h.mlx
zbdd_h.mlx : zbdd_h.ml
zbdd.mlx : zbdd.ml
cproof.o: cproof.c cproof.tab.h
cproof.lex.o: cproof.lex.c cproof.tab.h
cproof.tab.o: cproof.tab.c cproof.tab.h
gag.o: gag.c
monitor.o: monitor.c
