optimise.cmo: optimise.ml optimise.cmi ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi mlterm.cmi genpp.cmi ../../../src/lib/util/pp.cmi
optimise.cmx: optimise.ml optimise.cmi ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx mlterm.cmx genpp.cmx ../../../src/lib/util/pp.cmx
ocaml.cmo: ocaml.ml ocaml.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/lib/util/system.cmi ../../../src/meta/names.cmi ../../../src/env/vernacinterp.cmi ml_import.cmi mlterm.cmi genpp.cmi optimise.cmi
ocaml.cmx: ocaml.ml ocaml.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/lib/util/system.cmx ../../../src/meta/names.cmx ../../../src/env/vernacinterp.cmx ml_import.cmx mlterm.cmx genpp.cmx optimise.cmx
mlterm.cmo: mlterm.ml mlterm.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/lib/util/hashtabl.cmi
mlterm.cmx: mlterm.ml mlterm.cmi ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/lib/util/hashtabl.cmx
ml_import.cmo: ml_import.ml ml_import.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/summary.cmi ../../../src/meta/libobject.cmi ../../../src/meta/names.cmi ../../../src/meta/generic.cmi ../../../src/meta/library.cmi ../../../src/constr/term.cmi ../../../src/constr/constrtypes.cmi ../../../src/constr/vartab.cmi ../../../src/constr/impuniv.cmi ../../../src/constr/environ.cmi ../../../src/typing/indtypes.cmi ../../../src/typing/himsg.cmi ../../../src/typing/printer.cmi ../../../src/typing/reduction.cmi ../../../src/typing/dischcore.cmi ../../../src/proofs/proof_trees.cmi ../../../src/typing/mach.cmi ../../../src/env/declare.cmi ../../../src/env/command.cmi ../../../src/env/constants.cmi ../../../src/env/pretty.cmi ../../../src/typing/trad.cmi ../../../src/env/vernacinterp.cmi ../../../src/env/vernacentries.cmi ../../../src/meta/initial.cmi ../../../src/lib/util/hashtabl.cmi ../../../src/constr/nametab.cmi ../../../src/meta/lib.cmi ../../../src/lib/util/listmap.cmi
ml_import.cmx: ml_import.ml ml_import.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/summary.cmx ../../../src/meta/libobject.cmx ../../../src/meta/names.cmx ../../../src/meta/generic.cmx ../../../src/meta/library.cmx ../../../src/constr/term.cmx ../../../src/constr/constrtypes.cmx ../../../src/constr/vartab.cmx ../../../src/constr/impuniv.cmx ../../../src/constr/environ.cmx ../../../src/typing/indtypes.cmx ../../../src/typing/himsg.cmx ../../../src/typing/printer.cmx ../../../src/typing/reduction.cmx ../../../src/typing/dischcore.cmx ../../../src/proofs/proof_trees.cmx ../../../src/typing/mach.cmx ../../../src/env/declare.cmx ../../../src/env/command.cmx ../../../src/env/constants.cmx ../../../src/env/pretty.cmx ../../../src/typing/trad.cmx ../../../src/env/vernacinterp.cmx ../../../src/env/vernacentries.cmx ../../../src/meta/initial.cmx ../../../src/lib/util/hashtabl.cmx ../../../src/constr/nametab.cmx ../../../src/meta/lib.cmx ../../../src/lib/util/listmap.cmx
haskell.cmo: haskell.ml ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/env/vernacinterp.cmi ml_import.cmi mlterm.cmi genpp.cmi optimise.cmi
haskell.cmx: haskell.ml ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/env/vernacinterp.cmx ml_import.cmx mlterm.cmx genpp.cmx optimise.cmx
gofer.cmo: gofer.ml gofer.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/env/vernacinterp.cmi ml_import.cmi mlterm.cmi genpp.cmi optimise.cmi
gofer.cmx: gofer.ml gofer.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/env/vernacinterp.cmx ml_import.cmx mlterm.cmx genpp.cmx optimise.cmx
genpp.cmo: genpp.ml genpp.cmi ../../../src/lib/util/pp_control.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/system.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/env/vernacinterp.cmi ml_import.cmi mlterm.cmi fwtoml.cmi fw_env.cmi
genpp.cmx: genpp.ml genpp.cmi ../../../src/lib/util/pp_control.cmx ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/system.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/env/vernacinterp.cmx ml_import.cmx mlterm.cmx fwtoml.cmx fw_env.cmx
fwtoml.cmo: fwtoml.ml fwtoml.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/vectops.cmi ../../../src/lib/util/more_util.cmi ../../../src/lib/util/system.cmi ../../../src/meta/generic.cmi ../../../src/meta/names.cmi ../../../src/constr/term.cmi ../../../src/constr/vartab.cmi ../../../src/constr/constrtypes.cmi ../../../src/typing/machops.cmi ../../../src/typing/himsg.cmi ../../../src/typing/mach.cmi ../../../src/typing/reduction.cmi ../../../src/constr/environ.cmi ml_import.cmi mlterm.cmi ../../../src/env/vernacinterp.cmi ../../../src/lib/util/hashtabl.cmi ../../../src/typing/evd.cmi ../../../src/tactics/tactics.cmi ../../../src/env/constants.cmi ../../../src/meta/lib.cmi ../../../src/meta/libobject.cmi ../../../src/lib/util/listmap.cmi
fwtoml.cmx: fwtoml.ml fwtoml.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/vectops.cmx ../../../src/lib/util/more_util.cmx ../../../src/lib/util/system.cmx ../../../src/meta/generic.cmx ../../../src/meta/names.cmx ../../../src/constr/term.cmx ../../../src/constr/vartab.cmx ../../../src/constr/constrtypes.cmx ../../../src/typing/machops.cmx ../../../src/typing/himsg.cmx ../../../src/typing/mach.cmx ../../../src/typing/reduction.cmx ../../../src/constr/environ.cmx ml_import.cmx mlterm.cmx ../../../src/env/vernacinterp.cmx ../../../src/lib/util/hashtabl.cmx ../../../src/typing/evd.cmx ../../../src/tactics/tactics.cmx ../../../src/env/constants.cmx ../../../src/meta/lib.cmx ../../../src/meta/libobject.cmx ../../../src/lib/util/listmap.cmx
fw_env.cmo: fw_env.ml fw_env.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/meta/lib.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/constr/environ.cmi ../../../src/typing/termenv.cmi ../../../src/env/constants.cmi ../../../src/constr/constrtypes.cmi ml_import.cmi ../../../src/lib/util/hashtabl.cmi ../../../src/meta/libobject.cmi ../../../src/lib/util/listmap.cmi ../../../src/lib/util/vectops.cmi
fw_env.cmx: fw_env.ml fw_env.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/meta/lib.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/constr/environ.cmx ../../../src/typing/termenv.cmx ../../../src/env/constants.cmx ../../../src/constr/constrtypes.cmx ml_import.cmx ../../../src/lib/util/hashtabl.cmx ../../../src/meta/libobject.cmx ../../../src/lib/util/listmap.cmx ../../../src/lib/util/vectops.cmx
caml.cmo: caml.ml caml.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/lib/util/system.cmi ../../../src/meta/names.cmi ../../../src/env/vernacinterp.cmi ml_import.cmi mlterm.cmi genpp.cmi optimise.cmi
caml.cmx: caml.ml caml.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/lib/util/system.cmx ../../../src/meta/names.cmx ../../../src/env/vernacinterp.cmx ml_import.cmx mlterm.cmx genpp.cmx optimise.cmx
optimise.cmi: optimise.mli ../../../src/meta/names.cmi mlterm.cmi genpp.cmi
ocaml.cmi: ocaml.mli mlterm.cmi ../../../src/lib/util/pp.cmi ../../../src/meta/names.cmi genpp.cmi ../../../src/constr/term.cmi ../../../src/meta/generic.cmi ../../../src/constr/constrtypes.cmi
mlterm.cmi: mlterm.mli ../../../src/meta/names.cmi
ml_import.cmi: ml_import.mli ../../../src/meta/names.cmi ../../../src/constr/term.cmi ../../../src/lib/util/hashtabl.cmi ../../../src/meta/libobject.cmi ../../../src/meta/generic.cmi ../../../src/typing/reduction.cmi ../../../src/constr/constrtypes.cmi ../../../src/constr/impuniv.cmi ../../../src/parsing/coqAst.cmi ../../../src/env/vernacinterp.cmi ../../../src/typing/evd.cmi ../../../src/lib/util/pp.cmi
gofer.cmi: gofer.mli
genpp.cmi: genpp.mli ../../../src/lib/util/pp.cmi ../../../src/meta/names.cmi mlterm.cmi ../../../src/env/vernacinterp.cmi fwtoml.cmi
fwtoml.cmi: fwtoml.mli ../../../src/proofs/proof_trees.cmi ../../../src/typing/evd.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/lib/util/hashtabl.cmi mlterm.cmi ../../../src/meta/generic.cmi ../../../src/constr/constrtypes.cmi
fw_env.cmi: fw_env.mli ../../../src/meta/names.cmi ../../../src/constr/term.cmi
caml.cmi: caml.mli mlterm.cmi ../../../src/lib/util/pp.cmi ../../../src/meta/names.cmi genpp.cmi ../../../src/constr/term.cmi ../../../src/meta/generic.cmi ../../../src/constr/constrtypes.cmi
Extraction.vo: Extraction.v ml_import.cmo mlterm.cmo fw_env.cmo fwtoml.cmo optimise.cmo genpp.cmo caml.cmo haskell.cmo ocaml.cmo
