xlate.cmo: xlate.ml ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/parsing/ast.cmi ascent.cmi ../../../src/parsing/coqAst.cmi
xlate.cmx: xlate.ml ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/parsing/ast.cmx ascent.cmi ../../../src/parsing/coqAst.cmx
vtp.cmo: vtp.ml ascent.cmi
vtp.cmx: vtp.ml ascent.cmi
translate.cmo: translate.ml ../../../src/meta/names.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/generic.cmi ../../../src/parsing/ast.cmi ../../../src/constr/term.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/termenv.cmi ../../../src/meta/libobject.cmi ../../../src/meta/library.cmi ../../../src/env/vernacinterp.cmi ../../../src/typing/trad.cmi ../../../src/proofs/proof_trees.cmi ../../../src/typing/termast.cmi ../../../src/proofs/tacmach.cmi ../../../src/env/pfedit.cmi ../../../src/typing/evd.cmi xlate.cmo ../../../src/parsing/coqAst.cmi vtp.cmo ascent.cmi ../../../src/constr/environ.cmi ../../../src/constr/nametab.cmi
translate.cmx: translate.ml ../../../src/meta/names.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/generic.cmx ../../../src/parsing/ast.cmx ../../../src/constr/term.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/termenv.cmx ../../../src/meta/libobject.cmx ../../../src/meta/library.cmx ../../../src/env/vernacinterp.cmx ../../../src/typing/trad.cmx ../../../src/proofs/proof_trees.cmx ../../../src/typing/termast.cmx ../../../src/proofs/tacmach.cmx ../../../src/env/pfedit.cmx ../../../src/typing/evd.cmx xlate.cmx ../../../src/parsing/coqAst.cmx vtp.cmx ascent.cmi ../../../src/constr/environ.cmx ../../../src/constr/nametab.cmx
name_to_ast.cmo: name_to_ast.ml ../../../src/lib/util/vectops.cmi ../../../src/typing/classops.cmi ../../../src/meta/names.cmi ../../../src/parsing/coqAst.cmi ../../../src/parsing/ast.cmi ../../../src/typing/termast.cmi ../../../src/constr/term.cmi ../../../src/lib/util/std.cmi ../../../src/constr/constrtypes.cmi ../../../src/typing/reduction.cmi ../../../src/meta/generic.cmi ../../../src/typing/termenv.cmi ../../../src/meta/libobject.cmi ../../../src/constr/environ.cmi ../../../src/typing/evd.cmi ../../../src/lib/util/listmap.cmi ../../../src/constr/nametab.cmi ../../../src/meta/lib.cmi ../../../src/constr/vartab.cmi
name_to_ast.cmx: name_to_ast.ml ../../../src/lib/util/vectops.cmx ../../../src/typing/classops.cmx ../../../src/meta/names.cmx ../../../src/parsing/coqAst.cmx ../../../src/parsing/ast.cmx ../../../src/typing/termast.cmx ../../../src/constr/term.cmx ../../../src/lib/util/std.cmx ../../../src/constr/constrtypes.cmx ../../../src/typing/reduction.cmx ../../../src/meta/generic.cmx ../../../src/typing/termenv.cmx ../../../src/meta/libobject.cmx ../../../src/constr/environ.cmx ../../../src/typing/evd.cmx ../../../src/lib/util/listmap.cmx ../../../src/constr/nametab.cmx ../../../src/meta/lib.cmx ../../../src/constr/vartab.cmx
centaur.cmo: centaur.ml ../../../src/meta/names.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/generic.cmi ../../../src/parsing/ast.cmi ../../../src/constr/term.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/termenv.cmi ../../../src/meta/libobject.cmi ../../../src/meta/library.cmi ../../../src/env/vernacinterp.cmi ../../../src/typing/trad.cmi ../../../src/typing/evd.cmi ../../../src/proofs/proof_trees.cmi ../../../src/typing/termast.cmi ../../../src/proofs/tacmach.cmi ../../../src/env/pfedit.cmi ../../../src/lib/util/vectops.cmi ../../../src/constr/constrtypes.cmi ../../../src/constr/environ.cmi ../../../src/typing/machops.cmi ../../../src/env/coqtoplevel.cmi ../../../src/typing/reduction.cmi ../../../src/typing/classops.cmi ../../../src/env/vernac.cmi ../../../src/parsing/coqAst.cmi ../../../src/env/protectedtoplevel.cmi ../../../src/env/line_oriented_parser.cmi xlate.cmo vtp.cmo ascent.cmi translate.cmo name_to_ast.cmo ../../../src/env/mltop.cmi ../../../src/proofs/tacinterp.cmi ../../../src/meta/errors.cmi ../../../src/env/pretty.cmi ../../../src/env/vernacentries.cmi
centaur.cmx: centaur.ml ../../../src/meta/names.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/generic.cmx ../../../src/parsing/ast.cmx ../../../src/constr/term.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/termenv.cmx ../../../src/meta/libobject.cmx ../../../src/meta/library.cmx ../../../src/env/vernacinterp.cmx ../../../src/typing/trad.cmx ../../../src/typing/evd.cmx ../../../src/proofs/proof_trees.cmx ../../../src/typing/termast.cmx ../../../src/proofs/tacmach.cmx ../../../src/env/pfedit.cmx ../../../src/lib/util/vectops.cmx ../../../src/constr/constrtypes.cmx ../../../src/constr/environ.cmx ../../../src/typing/machops.cmx ../../../src/env/coqtoplevel.cmx ../../../src/typing/reduction.cmx ../../../src/typing/classops.cmx ../../../src/env/vernac.cmx ../../../src/parsing/coqAst.cmx ../../../src/env/protectedtoplevel.cmx ../../../src/env/line_oriented_parser.cmx xlate.cmx vtp.cmx ascent.cmi translate.cmx name_to_ast.cmx ../../../src/env/mltop.cmx ../../../src/proofs/tacinterp.cmx ../../../src/meta/errors.cmx ../../../src/env/pretty.cmx ../../../src/env/vernacentries.cmx
ascent.cmi: ascent.mli
comment.vo: comment.v
Centaur.vo: Centaur.v name_to_ast.cmo xlate.cmo vtp.cmo translate.cmo centaur.cmo
