wcclausenv.cmo: wcclausenv.ml wcclausenv.cmi ../lib/util/std.cmi ../meta/initial.cmi ../lib/util/pp.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/printer.cmi ../typing/termenv.cmi ../typing/reduction.cmi ../typing/mach.cmi ../typing/trad.cmi ../proofs/tacmach.cmi ../typing/evd.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi ../constr/environ.cmi
wcclausenv.cmx: wcclausenv.ml wcclausenv.cmi ../lib/util/std.cmx ../meta/initial.cmx ../lib/util/pp.cmx ../meta/names.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/printer.cmx ../typing/termenv.cmx ../typing/reduction.cmx ../typing/mach.cmx ../typing/trad.cmx ../proofs/tacmach.cmx ../typing/evd.cmx ../proofs/proof_trees.cmx ../proofs/clenv.cmx ../constr/environ.cmx
termdn.cmo: termdn.ml termdn.cmi ../lib/util/more_util.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi dn.cmi
termdn.cmx: termdn.ml termdn.cmi ../lib/util/more_util.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx dn.cmx
tactics.cmo: tactics.ml tactics.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../parsing/coqAst.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/printer.cmi ../constr/environ.cmi ../typing/termenv.cmi ../typing/mach.cmi ../typing/trad.cmi ../lib/util/pp.cmi ../parsing/ast.cmi ../typing/evd.cmi ../env/pfedit.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi ../env/discharge.cmi tacticals.cmi pattern.cmi ../constr/constrtypes.cmi ../env/declare.cmi ../typing/indrec.cmi ../typing/machops.cmi ../proofs/tacinterp.cmi
tactics.cmx: tactics.ml tactics.cmi ../lib/util/std.cmx ../lib/util/more_util.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../parsing/coqAst.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/printer.cmx ../constr/environ.cmx ../typing/termenv.cmx ../typing/mach.cmx ../typing/trad.cmx ../lib/util/pp.cmx ../parsing/ast.cmx ../typing/evd.cmx ../env/pfedit.cmx ../proofs/tacmach.cmx ../proofs/proof_trees.cmx ../proofs/clenv.cmx ../env/discharge.cmx tacticals.cmx pattern.cmx ../constr/constrtypes.cmx ../env/declare.cmx ../typing/indrec.cmx ../typing/machops.cmx ../proofs/tacinterp.cmx
tacticals.cmo: tacticals.ml tacticals.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi ../lib/util/more_util.cmi ../lib/util/pp.cmi ../constr/constrtypes.cmi ../typing/reduction.cmi ../typing/termenv.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi pattern.cmi wcclausenv.cmi ../typing/termast.cmi ../parsing/coqAst.cmi ../proofs/tacinterp.cmi ../typing/machops.cmi ../typing/indrec.cmi
tacticals.cmx: tacticals.ml tacticals.cmi ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../meta/generic.cmx ../constr/term.cmx ../lib/util/more_util.cmx ../lib/util/pp.cmx ../constr/constrtypes.cmx ../typing/reduction.cmx ../typing/termenv.cmx ../proofs/tacmach.cmx ../proofs/proof_trees.cmx ../proofs/clenv.cmx pattern.cmx wcclausenv.cmx ../typing/termast.cmx ../parsing/coqAst.cmx ../proofs/tacinterp.cmx ../typing/machops.cmx ../typing/indrec.cmx
tacentries.cmo: tacentries.ml tacentries.cmi ../lib/util/std.cmi ../meta/names.cmi ../proofs/tacmach.cmi ../typing/himsg.cmi ../lib/util/pp.cmi ../proofs/proof_trees.cmi tactics.cmi tacticals.cmi ../env/vernacinterp.cmi ../env/pfedit.cmi ../meta/initial.cmi ../env/vernacentries.cmi ../proofs/tacinterp.cmi
tacentries.cmx: tacentries.ml tacentries.cmi ../lib/util/std.cmx ../meta/names.cmx ../proofs/tacmach.cmx ../typing/himsg.cmx ../lib/util/pp.cmx ../proofs/proof_trees.cmx tactics.cmx tacticals.cmx ../env/vernacinterp.cmx ../env/pfedit.cmx ../meta/initial.cmx ../env/vernacentries.cmx ../proofs/tacinterp.cmx
pattern.cmo: pattern.ml pattern.cmi ../lib/util/std.cmi ../lib/util/vectops.cmi ../lib/util/pp.cmi ../meta/initial.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/termenv.cmi ../typing/evd.cmi ../proofs/proof_trees.cmi ../typing/trad.cmi ../meta/stock.cmi ../proofs/clenv.cmi ../typing/astterm.cmi ../parsing/pcoq.cmi ../constr/sosub.cmi
pattern.cmx: pattern.ml pattern.cmi ../lib/util/std.cmx ../lib/util/vectops.cmx ../lib/util/pp.cmx ../meta/initial.cmx ../meta/names.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/termenv.cmx ../typing/evd.cmx ../proofs/proof_trees.cmx ../typing/trad.cmx ../meta/stock.cmx ../proofs/clenv.cmx ../typing/astterm.cmx ../parsing/pcoq.cmx ../constr/sosub.cmx
nbtermdn.cmo: nbtermdn.ml nbtermdn.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/himsg.cmi ../lib/util/pp.cmi ../meta/libobject.cmi ../meta/library.cmi ../lib/util/fmavm.cmi termdn.cmi btermdn.cmi ../lib/util/mhm.cmi
nbtermdn.cmx: nbtermdn.ml nbtermdn.cmi ../lib/util/std.cmx ../lib/util/more_util.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/himsg.cmx ../lib/util/pp.cmx ../meta/libobject.cmx ../meta/library.cmx ../lib/util/fmavm.cmx termdn.cmx btermdn.cmx ../lib/util/mhm.cmx
hiddentac.cmo: hiddentac.ml hiddentac.cmi ../proofs/proof_trees.cmi ../proofs/tacmach.cmi tacentries.cmi ../constr/term.cmi
hiddentac.cmx: hiddentac.ml hiddentac.cmi ../proofs/proof_trees.cmx ../proofs/tacmach.cmx tacentries.cmx ../constr/term.cmx
elim.cmo: elim.ml elim.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/termenv.cmi ../lib/util/more_util.cmi ../lib/util/pp.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi pattern.cmi tacticals.cmi tactics.cmi hiddentac.cmi
elim.cmx: elim.ml elim.cmi ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/termenv.cmx ../lib/util/more_util.cmx ../lib/util/pp.cmx ../proofs/tacmach.cmx ../proofs/proof_trees.cmx ../proofs/clenv.cmx pattern.cmx tacticals.cmx tactics.cmx hiddentac.cmx
dn.cmo: dn.ml dn.cmi ../lib/util/std.cmi ../lib/util/vectops.cmi ../lib/util/tlm.cmi
dn.cmx: dn.ml dn.cmi ../lib/util/std.cmx ../lib/util/vectops.cmx ../lib/util/tlm.cmx
dhyp.cmo: dhyp.ml ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/himsg.cmi ../typing/mach.cmi ../proofs/proof_trees.cmi ../typing/trad.cmi ../proofs/tacmach.cmi tactics.cmi ../lib/util/pp.cmi ../proofs/clenv.cmi ../typing/termenv.cmi tacticals.cmi ../meta/libobject.cmi ../meta/library.cmi ../env/vernacinterp.cmi pattern.cmi ../typing/termast.cmi ../parsing/ast.cmi ../parsing/coqAst.cmi ../parsing/pcoq.cmi nbtermdn.cmi ../meta/summary.cmi ../proofs/tacinterp.cmi
dhyp.cmx: dhyp.ml ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/himsg.cmx ../typing/mach.cmx ../proofs/proof_trees.cmx ../typing/trad.cmx ../proofs/tacmach.cmx tactics.cmx ../lib/util/pp.cmx ../proofs/clenv.cmx ../typing/termenv.cmx tacticals.cmx ../meta/libobject.cmx ../meta/library.cmx ../env/vernacinterp.cmx pattern.cmx ../typing/termast.cmx ../parsing/ast.cmx ../parsing/coqAst.cmx ../parsing/pcoq.cmx nbtermdn.cmx ../meta/summary.cmx ../proofs/tacinterp.cmx
btermdn.cmo: btermdn.ml btermdn.cmi ../constr/term.cmi termdn.cmi dn.cmi
btermdn.cmx: btermdn.ml btermdn.cmi ../constr/term.cmx termdn.cmx dn.cmx
auto.cmo: auto.ml auto.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/printer.cmi ../typing/mach.cmi ../proofs/proof_trees.cmi ../env/pfedit.cmi ../proofs/tacmach.cmi tactics.cmi tacticals.cmi ../lib/util/pp.cmi ../typing/evd.cmi ../parsing/ast.cmi ../parsing/coqAst.cmi ../proofs/clenv.cmi ../typing/termenv.cmi hiddentac.cmi ../meta/libobject.cmi ../meta/library.cmi ../env/vernacinterp.cmi ../typing/himsg.cmi btermdn.cmi ../lib/util/fmavm.cmi ../meta/summary.cmi ../typing/machops.cmi ../typing/trad.cmi pattern.cmi dhyp.cmo
auto.cmx: auto.ml auto.cmi ../lib/util/std.cmx ../lib/util/more_util.cmx ../meta/names.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/printer.cmx ../typing/mach.cmx ../proofs/proof_trees.cmx ../env/pfedit.cmx ../proofs/tacmach.cmx tactics.cmx tacticals.cmx ../lib/util/pp.cmx ../typing/evd.cmx ../parsing/ast.cmx ../parsing/coqAst.cmx ../proofs/clenv.cmx ../typing/termenv.cmx hiddentac.cmx ../meta/libobject.cmx ../meta/library.cmx ../env/vernacinterp.cmx ../typing/himsg.cmx btermdn.cmx ../lib/util/fmavm.cmx ../meta/summary.cmx ../typing/machops.cmx ../typing/trad.cmx pattern.cmx dhyp.cmx
wcclausenv.cmi: wcclausenv.mli ../meta/names.cmi ../constr/term.cmi ../meta/generic.cmi ../proofs/clenv.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../typing/evd.cmi
termdn.cmi: termdn.mli ../meta/generic.cmi ../constr/term.cmi ../lib/util/more_util.cmi dn.cmi
tactics.cmi: tactics.mli ../meta/names.cmi ../lib/util/more_util.cmi ../constr/term.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi ../typing/reduction.cmi ../typing/evd.cmi tacticals.cmi ../parsing/coqAst.cmi
tacticals.cmi: tacticals.mli ../meta/names.cmi ../lib/util/more_util.cmi ../constr/term.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi ../typing/reduction.cmi ../typing/machops.cmi pattern.cmi wcclausenv.cmi ../parsing/coqAst.cmi
tacentries.cmi: tacentries.mli ../proofs/proof_trees.cmi ../proofs/tacmach.cmi
pattern.cmi: pattern.mli ../lib/util/std.cmi ../meta/names.cmi ../constr/term.cmi ../typing/termenv.cmi ../typing/evd.cmi ../proofs/proof_trees.cmi ../meta/stock.cmi ../parsing/coqAst.cmi ../lib/util/listmap.cmi
nbtermdn.cmi: nbtermdn.mli ../meta/generic.cmi ../constr/term.cmi ../lib/util/more_util.cmi termdn.cmi btermdn.cmi
hiddentac.cmi: hiddentac.mli ../proofs/proof_trees.cmi ../proofs/tacmach.cmi tacentries.cmi ../constr/term.cmi ../meta/names.cmi
elim.cmi: elim.mli ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../proofs/clenv.cmi tacticals.cmi
dn.cmi: dn.mli ../lib/util/tlm.cmi
btermdn.cmi: btermdn.mli ../meta/generic.cmi ../constr/term.cmi
auto.cmi: auto.mli ../meta/names.cmi ../constr/term.cmi ../proofs/proof_trees.cmi ../proofs/tacmach.cmi ../proofs/clenv.cmi ../parsing/coqAst.cmi btermdn.cmi ../lib/util/fmavm.cmi
