tacmach.cmo: tacmach.ml tacmach.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../parsing/ast.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../typing/evd.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/himsg.cmi ../typing/termenv.cmi ../typing/termast.cmi ../parsing/coqAst.cmi ../typing/trad.cmi proof_trees.cmi ../typing/printer.cmi logic.cmi evar_refiner.cmi refiner.cmi ../typing/mach.cmi ../typing/machops.cmi
tacmach.cmx: tacmach.ml tacmach.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/more_util.cmx ../parsing/ast.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../typing/evd.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/himsg.cmx ../typing/termenv.cmx ../typing/termast.cmx ../parsing/coqAst.cmx ../typing/trad.cmx proof_trees.cmx ../typing/printer.cmx logic.cmx evar_refiner.cmx refiner.cmx ../typing/mach.cmx ../typing/machops.cmx
tacinterp.cmo: tacinterp.ml tacinterp.cmi ../lib/util/std.cmi ../meta/names.cmi proof_trees.cmi ../lib/util/pp.cmi tacmach.cmi macros.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../typing/printer.cmi ../constr/term.cmi ../lib/util/mhm.cmi
tacinterp.cmx: tacinterp.ml tacinterp.cmi ../lib/util/std.cmx ../meta/names.cmx proof_trees.cmx ../lib/util/pp.cmx tacmach.cmx macros.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../typing/printer.cmx ../constr/term.cmx ../lib/util/mhm.cmx
refiner.cmo: refiner.ml refiner.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../typing/printer.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../typing/evd.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/himsg.cmi ../typing/termenv.cmi ../typing/mach.cmi proof_trees.cmi ../lib/util/pp.cmi logic.cmi ../lib/util/mhm.cmi ../parsing/ast.cmi ../meta/errors.cmi
refiner.cmx: refiner.ml refiner.cmi ../lib/util/std.cmx ../lib/util/more_util.cmx ../typing/printer.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../typing/evd.cmx ../constr/term.cmx ../typing/reduction.cmx ../typing/himsg.cmx ../typing/termenv.cmx ../typing/mach.cmx proof_trees.cmx ../lib/util/pp.cmx logic.cmx ../lib/util/mhm.cmx ../parsing/ast.cmx ../meta/errors.cmx
proof_trees.cmo: proof_trees.ml proof_trees.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../typing/evd.cmi ../lib/util/more_util.cmi ../constr/term.cmi ../lib/util/pp.cmi ../typing/printer.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../typing/termast.cmi ../typing/trad.cmi ../typing/closure.cmi ../typing/reduction.cmi ../constr/nametab.cmi
proof_trees.cmx: proof_trees.ml proof_trees.cmi ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../typing/evd.cmx ../lib/util/more_util.cmx ../constr/term.cmx ../lib/util/pp.cmx ../typing/printer.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../typing/termast.cmx ../typing/trad.cmx ../typing/closure.cmx ../typing/reduction.cmx ../constr/nametab.cmx
macros.cmo: macros.ml macros.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../meta/names.cmi ../constr/term.cmi proof_trees.cmi ../meta/libobject.cmi ../meta/library.cmi ../parsing/coqAst.cmi ../parsing/pcoq.cmi ../parsing/ast.cmi ../lib/util/fmavm.cmi ../meta/summary.cmi
macros.cmx: macros.ml macros.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../meta/names.cmx ../constr/term.cmx proof_trees.cmx ../meta/libobject.cmx ../meta/library.cmx ../parsing/coqAst.cmx ../parsing/pcoq.cmx ../parsing/ast.cmx ../lib/util/fmavm.cmx ../meta/summary.cmx
logic.cmo: logic.ml logic.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../typing/evd.cmi ../constr/term.cmi ../typing/termenv.cmi ../typing/reduction.cmi ../typing/printer.cmi ../typing/machops.cmi ../typing/mach.cmi ../lib/util/more_util.cmi proof_trees.cmi ../parsing/coqAst.cmi ../typing/typing.cmi
logic.cmx: logic.ml logic.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../typing/evd.cmx ../constr/term.cmx ../typing/termenv.cmx ../typing/reduction.cmx ../typing/printer.cmx ../typing/machops.cmx ../typing/mach.cmx ../lib/util/more_util.cmx proof_trees.cmx ../parsing/coqAst.cmx ../typing/typing.cmx
evar_refiner.cmo: evar_refiner.ml evar_refiner.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/himsg.cmi ../typing/termenv.cmi ../typing/mach.cmi proof_trees.cmi ../lib/util/pp.cmi logic.cmi refiner.cmi ../typing/evd.cmi
evar_refiner.cmx: evar_refiner.ml evar_refiner.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/himsg.cmx ../typing/termenv.cmx ../typing/mach.cmx proof_trees.cmx ../lib/util/pp.cmx logic.cmx refiner.cmx ../typing/evd.cmx
clenv.cmo: clenv.ml clenv.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/himsg.cmi proof_trees.cmi ../typing/reduction.cmi tacmach.cmi ../typing/termenv.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../lib/util/intavs.cmi ../lib/util/intavm.cmi ../typing/trad.cmi ../constr/environ.cmi
clenv.cmx: clenv.ml clenv.cmi ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/himsg.cmx proof_trees.cmx ../typing/reduction.cmx tacmach.cmx ../typing/termenv.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../lib/util/intavs.cmx ../lib/util/intavm.cmx ../typing/trad.cmx ../constr/environ.cmx
tacmach.cmi: tacmach.mli ../meta/initial.cmi ../meta/names.cmi ../lib/util/more_util.cmi ../constr/term.cmi ../typing/mach.cmi ../lib/util/pp.cmi proof_trees.cmi refiner.cmi evar_refiner.cmi ../typing/reduction.cmi ../typing/evd.cmi ../parsing/coqAst.cmi
tacinterp.cmi: tacinterp.mli ../meta/names.cmi proof_trees.cmi ../lib/util/pp.cmi tacmach.cmi ../constr/term.cmi ../lib/util/mhm.cmi ../parsing/coqAst.cmi
refiner.cmi: refiner.mli ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi ../typing/mach.cmi ../lib/util/pp.cmi proof_trees.cmi ../typing/evd.cmi
proof_trees.cmi: proof_trees.mli ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../lib/util/pp.cmi ../typing/evd.cmi ../parsing/coqAst.cmi ../typing/reduction.cmi
macros.cmi: macros.mli ../meta/names.cmi tacmach.cmi proof_trees.cmi ../parsing/ast.cmi ../parsing/coqAst.cmi
logic.cmi: logic.mli ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi ../typing/reduction.cmi ../typing/termenv.cmi ../typing/mach.cmi proof_trees.cmi ../lib/util/pp.cmi ../typing/evd.cmi
evar_refiner.cmi: evar_refiner.mli ../meta/initial.cmi ../meta/names.cmi ../lib/util/more_util.cmi ../constr/term.cmi ../typing/mach.cmi ../lib/util/pp.cmi proof_trees.cmi refiner.cmi
clenv.cmi: clenv.mli ../meta/names.cmi ../constr/term.cmi tacmach.cmi proof_trees.cmi ../lib/util/pp.cmi ../lib/util/intavs.cmi ../lib/util/intavm.cmi
