tradEnv.cmo: tradEnv.ml tradEnv.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/constr/vartab.cmi ../../src/typing/trad.cmi misc_utils.cmi prog_utils.cmi progTypes.cmi progAst.cmi ../../src/constr/impuniv.cmi prog_env.cmi monad.cmi renamings.cmi
tradEnv.cmx: tradEnv.ml tradEnv.cmi ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/constr/vartab.cmx ../../src/typing/trad.cmx misc_utils.cmx prog_utils.cmx progTypes.cmx progAst.cmx ../../src/constr/impuniv.cmx prog_env.cmx monad.cmx renamings.cmx
renamings.cmo: renamings.ml renamings.cmi ../../src/meta/names.cmi ../../src/lib/util/std.cmi ../../src/lib/util/pp.cmi ../../src/typing/himsg.cmi misc_utils.cmi ../../src/lib/util/more_util.cmi
renamings.cmx: renamings.ml renamings.cmi ../../src/meta/names.cmx ../../src/lib/util/std.cmx ../../src/lib/util/pp.cmx ../../src/typing/himsg.cmx misc_utils.cmx ../../src/lib/util/more_util.cmx
prog_wp.cmo: prog_wp.ml prog_wp.cmi ../../src/lib/util/more_util.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/constr/environ.cmi misc_utils.cmi progTypes.cmi progAst.cmi prog_utils.cmi prog_env.cmi effects.cmi prog_typing.cmi renamings.cmi prog_errors.cmi ../../src/typing/reduction.cmi monad.cmi ../../src/typing/evd.cmi
prog_wp.cmx: prog_wp.ml prog_wp.cmi ../../src/lib/util/more_util.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/constr/environ.cmx misc_utils.cmx progTypes.cmx progAst.cmx prog_utils.cmx prog_env.cmx effects.cmx prog_typing.cmx renamings.cmx prog_errors.cmx ../../src/typing/reduction.cmx monad.cmx ../../src/typing/evd.cmx
prog_utils.cmo: prog_utils.ml prog_utils.cmi ../../src/lib/util/more_util.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/tactics/pattern.cmi misc_utils.cmi progTypes.cmi progAst.cmi prog_env.cmi renamings.cmi ../../src/lib/util/std.cmi effects.cmi ../../src/lib/util/pp.cmi ../../src/typing/himsg.cmi
prog_utils.cmx: prog_utils.ml prog_utils.cmi ../../src/lib/util/more_util.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/tactics/pattern.cmx misc_utils.cmx progTypes.cmx progAst.cmx prog_env.cmx renamings.cmx ../../src/lib/util/std.cmx effects.cmx ../../src/lib/util/pp.cmx ../../src/typing/himsg.cmx
prog_typing.cmo: prog_typing.ml prog_typing.cmi ../../src/lib/util/pp.cmi ../../src/lib/util/more_util.cmi ../../src/lib/util/std.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/constr/vartab.cmi ../../src/typing/trad.cmi ../../src/typing/termast.cmi ../../src/typing/machops.cmi ../../src/constr/environ.cmi ../../src/typing/himsg.cmi ../../src/proofs/proof_trees.cmi misc_utils.cmi prog_utils.cmi renamings.cmi progTypes.cmi progAst.cmi prog_env.cmi effects.cmi tradEnv.cmi prog_errors.cmi ../../src/typing/mach.cmi ../../src/typing/evd.cmi ../../src/typing/reduction.cmi monad.cmi ../../src/parsing/ast.cmi
prog_typing.cmx: prog_typing.ml prog_typing.cmi ../../src/lib/util/pp.cmx ../../src/lib/util/more_util.cmx ../../src/lib/util/std.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/constr/vartab.cmx ../../src/typing/trad.cmx ../../src/typing/termast.cmx ../../src/typing/machops.cmx ../../src/constr/environ.cmx ../../src/typing/himsg.cmx ../../src/proofs/proof_trees.cmx misc_utils.cmx prog_utils.cmx renamings.cmx progTypes.cmx progAst.cmx prog_env.cmx effects.cmx tradEnv.cmx prog_errors.cmx ../../src/typing/mach.cmx ../../src/typing/evd.cmx ../../src/typing/reduction.cmx monad.cmx ../../src/parsing/ast.cmx
prog_tactic.cmo: prog_tactic.ml prog_tactic.cmi ../../src/lib/util/pp.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/trad.cmi ../../src/typing/termenv.cmi ../../src/env/pfedit.cmi ../../src/constr/constrtypes.cmi ../../src/env/vernacentries.cmi misc_utils.cmi prog_utils.cmi progAst.cmi prog_env.cmi renamings.cmi effects.cmi monad.cmi prog_db.cmi prog_typing.cmi prog_errors.cmi prog_wp.cmi ../../src/typing/himsg.cmi mlise.cmi prog_red.cmi prog_cci.cmi ../../src/typing/evd.cmi ../../src/tactics/pattern.cmi ../../src/proofs/tacmach.cmi ../../src/tactics/tactics.cmi ../../src/tactics/tacticals.cmi ../equality.cmi ../../src/lib/util/std.cmi ../../src/proofs/proof_trees.cmi ../../src/typing/reduction.cmi ../tcc/tcc.cmi ../../src/meta/initial.cmi ../../src/env/vernacinterp.cmi
prog_tactic.cmx: prog_tactic.ml prog_tactic.cmi ../../src/lib/util/pp.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/trad.cmx ../../src/typing/termenv.cmx ../../src/env/pfedit.cmx ../../src/constr/constrtypes.cmx ../../src/env/vernacentries.cmx misc_utils.cmx prog_utils.cmx progAst.cmx prog_env.cmx renamings.cmx effects.cmx monad.cmx prog_db.cmx prog_typing.cmx prog_errors.cmx prog_wp.cmx ../../src/typing/himsg.cmx mlise.cmx prog_red.cmx prog_cci.cmx ../../src/typing/evd.cmx ../../src/tactics/pattern.cmx ../../src/proofs/tacmach.cmx ../../src/tactics/tactics.cmx ../../src/tactics/tacticals.cmx ../equality.cmx ../../src/lib/util/std.cmx ../../src/proofs/proof_trees.cmx ../../src/typing/reduction.cmx ../tcc/tcc.cmx ../../src/meta/initial.cmx ../../src/env/vernacinterp.cmx
prog_red.cmo: prog_red.ml prog_red.cmi ../../src/lib/util/pp.cmi progAst.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/reduction.cmi
prog_red.cmx: prog_red.ml prog_red.cmi ../../src/lib/util/pp.cmx progAst.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/reduction.cmx
prog_extract.cmo: prog_extract.ml prog_extract.cmi ../../src/lib/util/pp_control.cmi ../../src/lib/util/pp.cmi ../../src/lib/util/more_util.cmi ../../src/lib/util/system.cmi ../../src/lib/util/std.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/himsg.cmi ../../src/typing/trad.cmi ../../src/typing/termenv.cmi ../../src/typing/mach.cmi ../../src/typing/reduction.cmi ../contrib/extraction/genpp.cmi misc_utils.cmi progTypes.cmi progAst.cmi prog_env.cmi prog_utils.cmi tradEnv.cmi ../../src/typing/evd.cmi ../contrib/extraction/fw_env.cmi ../../src/constr/nametab.cmi ../contrib/extraction/ocaml.cmi ../contrib/extraction/fwtoml.cmi ../../src/meta/library.cmi ../../src/parsing/ast.cmi ../../src/env/vernacinterp.cmi
prog_extract.cmx: prog_extract.ml prog_extract.cmi ../../src/lib/util/pp_control.cmx ../../src/lib/util/pp.cmx ../../src/lib/util/more_util.cmx ../../src/lib/util/system.cmx ../../src/lib/util/std.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/himsg.cmx ../../src/typing/trad.cmx ../../src/typing/termenv.cmx ../../src/typing/mach.cmx ../../src/typing/reduction.cmx ../contrib/extraction/genpp.cmx misc_utils.cmx progTypes.cmx progAst.cmx prog_env.cmx prog_utils.cmx tradEnv.cmx ../../src/typing/evd.cmx ../contrib/extraction/fw_env.cmx ../../src/constr/nametab.cmx ../contrib/extraction/ocaml.cmx ../contrib/extraction/fwtoml.cmx ../../src/meta/library.cmx ../../src/parsing/ast.cmx ../../src/env/vernacinterp.cmx
prog_errors.cmo: prog_errors.ml prog_errors.cmi ../../src/lib/util/pp.cmi ../../src/lib/util/std.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/himsg.cmi progTypes.cmi progAst.cmi ../../src/typing/machops.cmi ../../src/constr/vartab.cmi ../../src/typing/reduction.cmi ../../src/typing/evd.cmi effects.cmi
prog_errors.cmx: prog_errors.ml prog_errors.cmi ../../src/lib/util/pp.cmx ../../src/lib/util/std.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/himsg.cmx progTypes.cmx progAst.cmx ../../src/typing/machops.cmx ../../src/constr/vartab.cmx ../../src/typing/reduction.cmx ../../src/typing/evd.cmx effects.cmx
prog_env.cmo: prog_env.ml prog_env.cmi misc_utils.cmi progAst.cmi progTypes.cmi ../../src/meta/names.cmi ../../src/meta/libobject.cmi ../../src/meta/library.cmi ../../src/constr/term.cmi ../../src/meta/summary.cmi prog_errors.cmi ../../src/lib/util/pp.cmi ../../src/typing/himsg.cmi
prog_env.cmx: prog_env.ml prog_env.cmi misc_utils.cmx progAst.cmx progTypes.cmx ../../src/meta/names.cmx ../../src/meta/libobject.cmx ../../src/meta/library.cmx ../../src/constr/term.cmx ../../src/meta/summary.cmx prog_errors.cmx ../../src/lib/util/pp.cmx ../../src/typing/himsg.cmx
prog_db.cmo: prog_db.ml prog_db.cmi ../../src/meta/names.cmi ../../src/typing/termenv.cmi progTypes.cmi progAst.cmi prog_env.cmi ../../src/typing/machops.cmi prog_errors.cmi ../../src/constr/nametab.cmi ../../src/constr/environ.cmi ../../src/constr/term.cmi ../../src/constr/vartab.cmi
prog_db.cmx: prog_db.ml prog_db.cmi ../../src/meta/names.cmx ../../src/typing/termenv.cmx progTypes.cmx progAst.cmx prog_env.cmx ../../src/typing/machops.cmx prog_errors.cmx ../../src/constr/nametab.cmx ../../src/constr/environ.cmx ../../src/constr/term.cmx ../../src/constr/vartab.cmx
prog_cci.cmo: prog_cci.ml prog_cci.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi misc_utils.cmi progAst.cmi ../../src/constr/nametab.cmi ../../src/parsing/ast.cmi ../../src/lib/util/std.cmi ../../src/env/record.cmi ../../src/constr/impuniv.cmi ../../src/env/declare.cmi ../../src/typing/termenv.cmi
prog_cci.cmx: prog_cci.ml prog_cci.cmi ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx misc_utils.cmx progAst.cmx ../../src/constr/nametab.cmx ../../src/parsing/ast.cmx ../../src/lib/util/std.cmx ../../src/env/record.cmx ../../src/constr/impuniv.cmx ../../src/env/declare.cmx ../../src/typing/termenv.cmx
progTypes.cmo: progTypes.ml progTypes.cmi ../../src/constr/term.cmi ../../src/meta/names.cmi effects.cmi
progTypes.cmx: progTypes.ml progTypes.cmi ../../src/constr/term.cmx ../../src/meta/names.cmx effects.cmx
progAst.cmo: progAst.ml progAst.cmi ../../src/constr/term.cmi progTypes.cmi ../../src/parsing/coqAst.cmi ../../src/meta/names.cmi
progAst.cmx: progAst.ml progAst.cmi ../../src/constr/term.cmx progTypes.cmx ../../src/parsing/coqAst.cmx ../../src/meta/names.cmx
pprog.cmo: pprog.ml4 pprog.cmi ../../src/meta/names.cmi ../../src/typing/mach.cmi ../../src/typing/termenv.cmi ../../src/env/vernacentries.cmi ../../src/typing/reduction.cmi ../../src/typing/trad.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi renamings.cmi misc_utils.cmi prog_utils.cmi progTypes.cmi progAst.cmi prog_env.cmi monad.cmi ../../src/parsing/pcoq.cmi ../../theories/ZARITH/g_zsyntax.cmo ../../src/parsing/ast.cmi ../../src/typing/termast.cmi ../../src/env/command.cmi effects.cmi ../../src/lib/util/pp.cmi ../../src/lib/util/dyn.cmi ../../src/lib/util/more_util.cmi ../../src/typing/himsg.cmi ../../src/env/vernacinterp.cmi ../../src/env/declare.cmi prog_tactic.cmi ../../src/proofs/tacinterp.cmi ../../src/lib/util/std.cmi prog_db.cmi prog_typing.cmi ../../src/env/vernac.cmi
pprog.cmx: pprog.ml4 pprog.cmi ../../src/meta/names.cmx ../../src/typing/mach.cmx ../../src/typing/termenv.cmx ../../src/env/vernacentries.cmx ../../src/typing/reduction.cmx ../../src/typing/trad.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx renamings.cmx misc_utils.cmx prog_utils.cmx progTypes.cmx progAst.cmx prog_env.cmx monad.cmx ../../src/parsing/pcoq.cmx ../../theories/ZARITH/g_zsyntax.cmx ../../src/parsing/ast.cmx ../../src/typing/termast.cmx ../../src/env/command.cmx effects.cmx ../../src/lib/util/pp.cmx ../../src/lib/util/dyn.cmx ../../src/lib/util/more_util.cmx ../../src/typing/himsg.cmx ../../src/env/vernacinterp.cmx ../../src/env/declare.cmx prog_tactic.cmx ../../src/proofs/tacinterp.cmx ../../src/lib/util/std.cmx prog_db.cmx prog_typing.cmx ../../src/env/vernac.cmx
monad.cmo: monad.ml monad.cmi ../../src/lib/util/more_util.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/constr/vartab.cmi ../../src/typing/termast.cmi misc_utils.cmi prog_utils.cmi progTypes.cmi progAst.cmi renamings.cmi prog_env.cmi prog_cci.cmi effects.cmi ../../src/lib/util/std.cmi
monad.cmx: monad.ml monad.cmi ../../src/lib/util/more_util.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/constr/vartab.cmx ../../src/typing/termast.cmx misc_utils.cmx prog_utils.cmx progTypes.cmx progAst.cmx renamings.cmx prog_env.cmx prog_cci.cmx effects.cmx ../../src/lib/util/std.cmx
mlise.cmo: mlise.ml mlise.cmi ../../src/meta/names.cmi ../../src/constr/vartab.cmi ../../src/typing/trad.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/termast.cmi ../../src/tactics/pattern.cmi misc_utils.cmi progTypes.cmi progAst.cmi prog_utils.cmi renamings.cmi prog_env.cmi effects.cmi prog_typing.cmi monad.cmi tradEnv.cmi ../../src/typing/mach.cmi ../../src/typing/evd.cmi ../../src/lib/util/std.cmi
mlise.cmx: mlise.ml mlise.cmi ../../src/meta/names.cmx ../../src/constr/vartab.cmx ../../src/typing/trad.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/termast.cmx ../../src/tactics/pattern.cmx misc_utils.cmx progTypes.cmx progAst.cmx prog_utils.cmx renamings.cmx prog_env.cmx effects.cmx prog_typing.cmx monad.cmx tradEnv.cmx ../../src/typing/mach.cmx ../../src/typing/evd.cmx ../../src/lib/util/std.cmx
misc_utils.cmo: misc_utils.ml misc_utils.cmi ../../src/lib/util/pp.cmi ../../src/parsing/coqAst.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/termenv.cmi ../../src/lib/util/std.cmi ../../src/typing/machops.cmi
misc_utils.cmx: misc_utils.ml misc_utils.cmi ../../src/lib/util/pp.cmx ../../src/parsing/coqAst.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/termenv.cmx ../../src/lib/util/std.cmx ../../src/typing/machops.cmx
effects.cmo: effects.ml effects.cmi ../../src/meta/names.cmi misc_utils.cmi ../../src/lib/util/pp.cmi ../../src/lib/util/more_util.cmi ../../src/typing/himsg.cmi
effects.cmx: effects.ml effects.cmi ../../src/meta/names.cmx misc_utils.cmx ../../src/lib/util/pp.cmx ../../src/lib/util/more_util.cmx ../../src/typing/himsg.cmx
tradEnv.cmi: tradEnv.mli prog_env.cmi ../../src/meta/names.cmi ../../src/constr/term.cmi renamings.cmi
renamings.cmi: renamings.mli ../../src/meta/names.cmi ../../src/lib/util/pp.cmi
prog_wp.cmi: prog_wp.mli ../../src/constr/term.cmi prog_env.cmi effects.cmi renamings.cmi
prog_utils.cmi: prog_utils.mli ../../src/lib/util/pp.cmi ../../src/meta/names.cmi ../../src/constr/term.cmi misc_utils.cmi progTypes.cmi progAst.cmi prog_env.cmi renamings.cmi
prog_typing.cmi: prog_typing.mli ../../src/meta/names.cmi ../../src/constr/term.cmi progTypes.cmi progAst.cmi prog_env.cmi renamings.cmi ../../src/parsing/coqAst.cmi
prog_tactic.cmi: prog_tactic.mli progAst.cmi ../../src/proofs/tacmach.cmi
prog_red.cmi: prog_red.mli ../../src/constr/term.cmi progAst.cmi
prog_extract.cmi: prog_extract.mli ../../src/meta/names.cmi ../contrib/extraction/genpp.cmi
prog_errors.cmi: prog_errors.mli ../../src/lib/util/pp.cmi ../../src/meta/names.cmi progTypes.cmi progAst.cmi ../../src/parsing/coqAst.cmi effects.cmi
prog_env.cmi: prog_env.mli progTypes.cmi progAst.cmi ../../src/meta/names.cmi ../../src/constr/term.cmi
prog_db.cmi: prog_db.mli progTypes.cmi progAst.cmi ../../src/meta/names.cmi
prog_cci.cmi: prog_cci.mli progAst.cmi ../../src/constr/term.cmi
progTypes.cmi: progTypes.mli ../../src/meta/names.cmi ../../src/constr/term.cmi effects.cmi
progAst.cmi: progAst.mli ../../src/parsing/coqAst.cmi ../../src/meta/names.cmi progTypes.cmi ../../src/constr/term.cmi
pprog.cmi: pprog.mli ../../src/parsing/pcoq.cmi progTypes.cmi progAst.cmi ../../src/parsing/coqAst.cmi
monad.cmi: monad.mli ../../src/meta/names.cmi ../../src/constr/term.cmi progTypes.cmi progAst.cmi prog_env.cmi renamings.cmi effects.cmi
mlise.cmi: mlise.mli progAst.cmi prog_env.cmi ../../src/meta/names.cmi renamings.cmi
misc_utils.cmi: misc_utils.mli ../../src/meta/names.cmi ../../src/constr/term.cmi ../../src/parsing/coqAst.cmi ../../src/lib/util/pp.cmi
effects.cmi: effects.mli ../../src/meta/names.cmi ../../src/lib/util/pp.cmi
preuves.vo: preuves.v Programs.vo ../contrib/omega/Omega.vo
Tuples.vo: Tuples.v
Sorted.vo: Sorted.v Arrays.vo Permut.vo ../contrib/polynom/ZArithRing.vo ../contrib/omega/Omega.vo
Programs_stuff.vo: Programs_stuff.v Arrays_stuff.vo
ProgramsExtraction.vo: ProgramsExtraction.v ../contrib/extraction/Extraction.vo Programs.vo prog_extract.cmo
Programs.vo: Programs.v ../tcc/Refine.vo Tuples.vo ProgInt.vo ProgBool.vo ProgWf.vo Arrays.vo misc_utils.cmo effects.cmo renamings.cmo progTypes.cmo progAst.cmo prog_errors.cmo prog_env.cmo prog_utils.cmo prog_db.cmo prog_cci.cmo monad.cmo tradEnv.cmo prog_red.cmo prog_typing.cmo prog_wp.cmo mlise.cmo prog_tactic.cmo pprog.cmo
ProgWf.vo: ProgWf.v ../../theories/ZARITH/ZArith.vo
ProgInt.vo: ProgInt.v ../../theories/ZARITH/ZArith.vo ../../theories/ZARITH/ZArith_dec.vo
ProgBool.vo: ProgBool.v ../../theories/ZARITH/ZArith.vo
Permut.vo: Permut.v ProgInt.vo Arrays.vo Exchange.vo ../contrib/omega/Omega.vo
MakeProgramsState.vo: MakeProgramsState.v Programs.vo
Exchange.vo: Exchange.v ProgInt.vo Arrays.vo
Arrays_stuff.vo: Arrays_stuff.v Exchange.vo Permut.vo Sorted.vo
Arrays.vo: Arrays.v ProgInt.vo
pprog.cmo: ../../src/parsing/q_ast.cma
pprog.cmx: ../../src/parsing/q_ast.cma
