unif.cmo: unif.ml unif.cmi ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi general.cmi dpctypes.cmi subst.cmi
unif.cmx: unif.ml unif.cmi ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx general.cmx dpctypes.cmx subst.cmx
subst.cmo: subst.ml subst.cmi ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi dpctypes.cmi
subst.cmx: subst.ml subst.cmi ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx dpctypes.cmx
prove.cmo: prove.ml prove.cmi dpctypes.cmi kwc.cmo lk_proofs.cmo
prove.cmx: prove.ml prove.cmi dpctypes.cmx kwc.cmx lk_proofs.cmx
lk_proofs.cmo: lk_proofs.ml ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi general.cmi dpctypes.cmi subst.cmi unif.cmi
lk_proofs.cmx: lk_proofs.ml ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx general.cmx dpctypes.cmx subst.cmx unif.cmx
kwc.cmo: kwc.ml ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi general.cmi dpctypes.cmi subst.cmi unif.cmi graph.cmi
kwc.cmx: kwc.ml ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx general.cmx dpctypes.cmx subst.cmx unif.cmx graph.cmx
graph.cmo: graph.ml graph.cmi
graph.cmx: graph.ml graph.cmi
general.cmo: general.ml general.cmi ../../../src/lib/util/std.cmi
general.cmx: general.ml general.cmi ../../../src/lib/util/std.cmx
dpctypes.cmo: dpctypes.ml dpctypes.cmi ../../../src/meta/names.cmi ../../../src/constr/term.cmi
dpctypes.cmx: dpctypes.ml dpctypes.cmi ../../../src/meta/names.cmx ../../../src/constr/term.cmx
dpc.cmo: dpc.ml ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/proofs/proof_trees.cmi ../../../src/proofs/tacmach.cmi ../../../src/tactics/tactics.cmi prove.cmi ccidpc.cmi
dpc.cmx: dpc.ml ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/proofs/proof_trees.cmx ../../../src/proofs/tacmach.cmx ../../../src/tactics/tactics.cmx prove.cmx ccidpc.cmx
ccidpc.cmo: ccidpc.ml ccidpc.cmi dpctypes.cmi ../../../src/meta/names.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/constr/environ.cmi ../../../src/typing/termenv.cmi ../../../src/typing/himsg.cmi ../../../src/proofs/tacmach.cmi ../../../src/typing/reduction.cmi ../../../src/proofs/clenv.cmi ../../../src/tactics/tactics.cmi ../../../src/typing/trad.cmi ../../../src/tactics/pattern.cmi ../../../src/tactics/tacticals.cmi
ccidpc.cmx: ccidpc.ml ccidpc.cmi dpctypes.cmx ../../../src/meta/names.cmx ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/constr/environ.cmx ../../../src/typing/termenv.cmx ../../../src/typing/himsg.cmx ../../../src/proofs/tacmach.cmx ../../../src/typing/reduction.cmx ../../../src/proofs/clenv.cmx ../../../src/tactics/tactics.cmx ../../../src/typing/trad.cmx ../../../src/tactics/pattern.cmx ../../../src/tactics/tacticals.cmx
unif.cmi: unif.mli general.cmi dpctypes.cmi
subst.cmi: subst.mli dpctypes.cmi ../../../src/meta/names.cmi
prove.cmi: prove.mli dpctypes.cmi
graph.cmi: graph.mli
general.cmi: general.mli
dpctypes.cmi: dpctypes.mli ../../../src/meta/names.cmi ../../../src/constr/term.cmi
ccidpc.cmi: ccidpc.mli dpctypes.cmi ../../../src/meta/names.cmi ../../../src/constr/term.cmi ../../../src/proofs/tacmach.cmi ../../../src/proofs/proof_trees.cmi
Linear.vo: Linear.v general.cmo dpctypes.cmo subst.cmo graph.cmo unif.cmo kwc.cmo lk_proofs.cmo prove.cmo ccidpc.cmo dpc.cmo
