q_CoqAst.cmo: q_CoqAst.ml4 coqAst.cmi pcoq.cmi
q_CoqAst.cmx: q_CoqAst.ml4 coqAst.cmx pcoq.cmx
pcoq.cmo: pcoq.ml4 pcoq.cmi ../lib/util/pp.cmi ../lib/util/std.cmi clexer.cmi coqAst.cmi
pcoq.cmx: pcoq.ml4 pcoq.cmi ../lib/util/pp.cmx ../lib/util/std.cmx clexer.cmx coqAst.cmx
g_vernac.cmo: g_vernac.ml4 pcoq.cmi
g_vernac.cmx: g_vernac.ml4 pcoq.cmx
g_tactic.cmo: g_tactic.ml4 ../lib/util/pp.cmi ast.cmi pcoq.cmi coqAst.cmi
g_tactic.cmx: g_tactic.ml4 ../lib/util/pp.cmx ast.cmx pcoq.cmx coqAst.cmx
g_prim.cmo: g_prim.ml4 coqAst.cmi pcoq.cmi
g_prim.cmx: g_prim.ml4 coqAst.cmx pcoq.cmx
g_multiple_case.cmo: g_multiple_case.ml4 pcoq.cmi ast.cmi coqAst.cmi
g_multiple_case.cmx: g_multiple_case.ml4 pcoq.cmx ast.cmx coqAst.cmx
g_command.cmo: g_command.ml4 pcoq.cmi ast.cmi
g_command.cmx: g_command.ml4 pcoq.cmx ast.cmx
g_basevernac.cmo: g_basevernac.ml4 coqAst.cmi pcoq.cmi ast.cmi
g_basevernac.cmx: g_basevernac.ml4 coqAst.cmx pcoq.cmx ast.cmx
extend.cmo: extend.ml4 extend.cmi ../lib/util/pp.cmi ../lib/util/std.cmi pcoq.cmi coqAst.cmi ast.cmi clexer.cmi
extend.cmx: extend.ml4 extend.cmi ../lib/util/pp.cmx ../lib/util/std.cmx pcoq.cmx coqAst.cmx ast.cmx clexer.cmx
esyntax.cmo: esyntax.ml esyntax.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi coqAst.cmi ast.cmi extend.cmi ../lib/util/fmavm.cmi ../lib/util/mhmfs.cmi
esyntax.cmx: esyntax.ml esyntax.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/more_util.cmx coqAst.cmx ast.cmx extend.cmx ../lib/util/fmavm.cmx ../lib/util/mhmfs.cmx
egrammar.cmo: egrammar.ml egrammar.cmi ../lib/util/pp.cmi ../lib/util/std.cmi pcoq.cmi coqAst.cmi ast.cmi extend.cmi clexer.cmi
egrammar.cmx: egrammar.ml egrammar.cmi ../lib/util/pp.cmx ../lib/util/std.cmx pcoq.cmx coqAst.cmx ast.cmx extend.cmx clexer.cmx
coqAst.cmo: coqAst.ml coqAst.cmi ../lib/util/dyn.cmi
coqAst.cmx: coqAst.ml coqAst.cmi ../lib/util/dyn.cmx
clexer.cmo: clexer.ml4 clexer.cmi
clexer.cmx: clexer.ml4 clexer.cmi
ast.cmo: ast.ml ast.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi coqAst.cmi pcoq.cmi ../lib/util/dyn.cmi ../lib/util/hashcons.cmi
ast.cmx: ast.ml ast.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/more_util.cmx coqAst.cmx pcoq.cmx ../lib/util/dyn.cmx ../lib/util/hashcons.cmx
pcoq.cmi: pcoq.mli coqAst.cmi
extend.cmi: extend.mli ../lib/util/pp.cmi pcoq.cmi ast.cmi coqAst.cmi
esyntax.cmi: esyntax.mli ../lib/util/pp.cmi extend.cmi coqAst.cmi ast.cmi
egrammar.cmi: egrammar.mli coqAst.cmi ast.cmi pcoq.cmi extend.cmi
coqAst.cmi: coqAst.mli ../lib/util/dyn.cmi ../lib/util/listmap.cmi
clexer.cmi: clexer.mli
ast.cmi: ast.mli ../lib/util/pp.cmi pcoq.cmi coqAst.cmi ../lib/util/dyn.cmi
g_basevernac.cmo: ./q_ast.cma
g_basevernac.cmx: ./q_ast.cma
g_command.cmo: ./q_ast.cma
g_command.cmx: ./q_ast.cma
g_multiple_case.cmo: ./q_ast.cma
g_multiple_case.cmx: ./q_ast.cma
g_tactic.cmo: ./q_ast.cma
g_tactic.cmx: ./q_ast.cma
g_vernac.cmo: ./q_ast.cma
g_vernac.cmx: ./q_ast.cma
