vectops.cmo: vectops.ml vectops.cmi std.cmi
vectops.cmx: vectops.ml vectops.cmi std.cmx
tlm.cmo: tlm.ml tlm.cmi std.cmi coq_set.cmi
tlm.cmx: tlm.ml tlm.cmi std.cmx coq_set.cmx
system.cmo: system.ml4 system.cmi std.cmi more_util.cmi pp.cmi
system.cmx: system.ml4 system.cmi std.cmx more_util.cmx pp.cmx
std.cmo: std.ml std.cmi pp.cmi
std.cmx: std.ml std.cmi pp.cmx
profile.cmo: profile.ml profile.cmi system.cmi
profile.cmx: profile.ml profile.cmi system.cmx
pp_control.cmo: pp_control.ml pp_control.cmi
pp_control.cmx: pp_control.ml pp_control.cmi
pp.cmo: pp.ml pp.cmi pp_control.cmi
pp.cmx: pp.ml pp.cmi pp_control.cmx
more_util.cmo: more_util.ml more_util.cmi std.cmi pp.cmi
more_util.cmx: more_util.ml more_util.cmi std.cmx pp.cmx
mlm.cmo: mlm.ml mlm.cmi std.cmi listmap.cmi
mlm.cmx: mlm.ml mlm.cmi std.cmx listmap.cmx
mhs.cmo: mhs.ml mhs.cmi std.cmi mhm.cmi
mhs.cmx: mhs.ml mhs.cmi std.cmx mhm.cmx
mhmfs.cmo: mhmfs.ml mhmfs.cmi std.cmi mhm.cmi
mhmfs.cmx: mhmfs.ml mhmfs.cmi std.cmx mhm.cmx
mhm.cmo: mhm.ml mhm.cmi hashtabl.cmi
mhm.cmx: mhm.ml mhm.cmi hashtabl.cmx
mhb.cmo: mhb.ml mhb.cmi mhm.cmi
mhb.cmx: mhb.ml mhb.cmi mhm.cmx
mavm.cmo: mavm.ml mavm.cmi std.cmi avm.cmi
mavm.cmx: mavm.ml mavm.cmi std.cmx avm.cmx
listmap.cmo: listmap.ml listmap.cmi std.cmi
listmap.cmx: listmap.ml listmap.cmi std.cmx
intset.cmo: intset.ml intset.cmi baltree.cmi
intset.cmx: intset.ml intset.cmi baltree.cmx
intmap.cmo: intmap.ml intmap.cmi baltree.cmi
intmap.cmx: intmap.ml intmap.cmi baltree.cmx
intavs.cmo: intavs.ml intavs.cmi intset.cmi
intavs.cmx: intavs.ml intavs.cmi intset.cmx
intavm.cmo: intavm.ml intavm.cmi std.cmi intmap.cmi
intavm.cmx: intavm.ml intavm.cmi std.cmx intmap.cmx
hashtabl.cmo: hashtabl.ml hashtabl.cmi
hashtabl.cmx: hashtabl.ml hashtabl.cmi
hashcons.cmo: hashcons.ml hashcons.cmi
hashcons.cmx: hashcons.ml hashcons.cmi
fmavm.cmo: fmavm.ml fmavm.cmi mavm.cmi mhm.cmi
fmavm.cmx: fmavm.ml fmavm.cmi mavm.cmx mhm.cmx
edit.cmo: edit.ml edit.cmi pp.cmi std.cmi bstack.cmi mlm.cmi
edit.cmx: edit.ml edit.cmi pp.cmx std.cmx bstack.cmx mlm.cmx
dyn.cmo: dyn.ml dyn.cmi std.cmi
dyn.cmx: dyn.ml dyn.cmi std.cmx
coq_set.cmo: coq_set.ml coq_set.cmi baltree.cmi
coq_set.cmx: coq_set.ml coq_set.cmi baltree.cmx
coq_map.cmo: coq_map.ml coq_map.cmi baltree.cmi
coq_map.cmx: coq_map.ml coq_map.cmi baltree.cmx
bstack.cmo: bstack.ml bstack.cmi std.cmi
bstack.cmx: bstack.ml bstack.cmi std.cmx
baltree.cmo: baltree.ml baltree.cmi
baltree.cmx: baltree.ml baltree.cmi
avs.cmo: avs.ml avs.cmi coq_set.cmi
avs.cmx: avs.ml avs.cmi coq_set.cmx
avm.cmo: avm.ml avm.cmi std.cmi coq_map.cmi
avm.cmx: avm.ml avm.cmi std.cmx coq_map.cmx
vectops.cmi: vectops.mli std.cmi
tlm.cmi: tlm.mli
system.cmi: system.mli pp.cmi
std.cmi: std.mli pp.cmi
profile.cmi: profile.mli
pp_control.cmi: pp_control.mli
pp.cmi: pp.mli pp_control.cmi
more_util.cmi: more_util.mli pp.cmi
mlm.cmi: mlm.mli
mhs.cmi: mhs.mli
mhmfs.cmi: mhmfs.mli mhm.cmi
mhm.cmi: mhm.mli
mhb.cmi: mhb.mli
mavm.cmi: mavm.mli avm.cmi
listmap.cmi: listmap.mli
intset.cmi: intset.mli
intmap.cmi: intmap.mli
intavs.cmi: intavs.mli
intavm.cmi: intavm.mli
hashtabl.cmi: hashtabl.mli
hashcons.cmi: hashcons.mli
fmavm.cmi: fmavm.mli mavm.cmi mhm.cmi
edit.cmi: edit.mli
dyn.cmi: dyn.mli
coq_set.cmi: coq_set.mli
coq_map.cmi: coq_map.mli
bstack.cmi: bstack.mli
baltree.cmi: baltree.mli
avs.cmi: avs.mli std.cmi
avm.cmi: avm.mli
system.cmo: ../../config/coq_config.cmo ../../../tools/camlp4/ocamlpp.cmo
system.cmx: ../../config/coq_config.cmo ../../../tools/camlp4/ocamlpp.cmo
