top_printers.cmo: top_printers.ml ../src/lib/util/std.cmi ../src/lib/util/system.cmi ../src/lib/util/more_util.cmi ../src/lib/util/pp.cmi ../src/parsing/coqAst.cmi ../src/parsing/ast.cmi ../src/parsing/clexer.cmi ../src/parsing/egrammar.cmi ../src/meta/initial.cmi ../src/meta/names.cmi ../src/constr/impuniv.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/constr/sosub.cmi ../src/constr/constrtypes.cmi ../src/proofs/proof_trees.cmi ../src/meta/summary.cmi ../src/meta/libobject.cmi ../src/meta/library.cmi ../src/constr/environ.cmi ../src/typing/termenv.cmi ../src/typing/termast.cmi ../src/typing/printer.cmi ../src/typing/closure.cmi ../src/typing/reduction.cmi ../src/typing/typing.cmi ../src/typing/tradevar.cmi ../src/typing/multcase.cmi ../src/typing/multcase_astterm.cmi ../src/typing/astterm.cmi ../src/typing/extraction.cmi ../src/typing/mach.cmi ../src/meta/states.cmi ../src/typing/dischcore.cmi ../src/env/variables.cmi ../src/env/constants.cmi ../src/typing/indtypes.cmi ../src/env/discharge.cmi ../src/typing/trad.cmi ../src/env/command.cmi ../src/env/pretty.cmi ../src/proofs/refiner.cmi ../src/proofs/tacmach.cmi ../src/env/pfedit.cmi ../src/proofs/clenv.cmi ../src/tactics/tactics.cmi ../src/tactics/tacticals.cmi ../src/tactics/elim.cmi ../src/tactics/auto.cmi ../src/proofs/tacinterp.cmi ../src/tactics/tacentries.cmi ../src/env/vernacinterp.cmi ../src/env/vernacentries.cmi ../src/env/vernac.cmi ../src/env/coqtoplevel.cmi ../src/env/mltop.cmi ../src/parsing/esyntax.cmi ../src/env/metasyntax.cmi ../src/typing/evd.cmi ../src/lib/util/avm.cmi
top_printers.cmx: top_printers.ml ../src/lib/util/std.cmx ../src/lib/util/system.cmx ../src/lib/util/more_util.cmx ../src/lib/util/pp.cmx ../src/parsing/coqAst.cmx ../src/parsing/ast.cmx ../src/parsing/clexer.cmx ../src/parsing/egrammar.cmx ../src/meta/initial.cmx ../src/meta/names.cmx ../src/constr/impuniv.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/constr/sosub.cmx ../src/constr/constrtypes.cmx ../src/proofs/proof_trees.cmx ../src/meta/summary.cmx ../src/meta/libobject.cmx ../src/meta/library.cmx ../src/constr/environ.cmx ../src/typing/termenv.cmx ../src/typing/termast.cmx ../src/typing/printer.cmx ../src/typing/closure.cmx ../src/typing/reduction.cmx ../src/typing/typing.cmx ../src/typing/tradevar.cmx ../src/typing/multcase.cmx ../src/typing/multcase_astterm.cmx ../src/typing/astterm.cmx ../src/typing/extraction.cmx ../src/typing/mach.cmx ../src/meta/states.cmx ../src/typing/dischcore.cmx ../src/env/variables.cmx ../src/env/constants.cmx ../src/typing/indtypes.cmx ../src/env/discharge.cmx ../src/typing/trad.cmx ../src/env/command.cmx ../src/env/pretty.cmx ../src/proofs/refiner.cmx ../src/proofs/tacmach.cmx ../src/env/pfedit.cmx ../src/proofs/clenv.cmx ../src/tactics/tactics.cmx ../src/tactics/tacticals.cmx ../src/tactics/elim.cmx ../src/tactics/auto.cmx ../src/proofs/tacinterp.cmx ../src/tactics/tacentries.cmx ../src/env/vernacinterp.cmx ../src/env/vernacentries.cmx ../src/env/vernac.cmx ../src/env/coqtoplevel.cmx ../src/env/mltop.cmx ../src/parsing/esyntax.cmx ../src/env/metasyntax.cmx ../src/typing/evd.cmx ../src/lib/util/avm.cmx
tauto.cmo: tauto.ml tauto.cmi ../src/meta/names.cmi ../src/lib/util/std.cmi ../src/lib/util/pp.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/termenv.cmi ../src/typing/machops.cmi ../src/proofs/tacmach.cmi ../src/typing/reduction.cmi ../src/tactics/tacticals.cmi ../src/tactics/tactics.cmi ../src/tactics/pattern.cmi ../src/tactics/auto.cmi ../src/meta/initial.cmi ../src/lib/util/more_util.cmi ../src/proofs/proof_trees.cmi ../src/proofs/clenv.cmi ../src/lib/util/listmap.cmi ../src/constr/nametab.cmi ../src/constr/environ.cmi
tauto.cmx: tauto.ml tauto.cmi ../src/meta/names.cmx ../src/lib/util/std.cmx ../src/lib/util/pp.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/termenv.cmx ../src/typing/machops.cmx ../src/proofs/tacmach.cmx ../src/typing/reduction.cmx ../src/tactics/tacticals.cmx ../src/tactics/tactics.cmx ../src/tactics/pattern.cmx ../src/tactics/auto.cmx ../src/meta/initial.cmx ../src/lib/util/more_util.cmx ../src/proofs/proof_trees.cmx ../src/proofs/clenv.cmx ../src/lib/util/listmap.cmx ../src/constr/nametab.cmx ../src/constr/environ.cmx
propre.cmo: propre.ml ../src/lib/util/pp.cmi ../src/lib/util/std.cmi ../src/meta/names.cmi ../src/lib/util/vectops.cmi ../src/constr/term.cmi ../src/typing/mach.cmi ../src/typing/trad.cmi ../src/meta/generic.cmi ../src/typing/printer.cmi ../src/typing/reduction.cmi ../src/typing/himsg.cmi ../src/constr/constrtypes.cmi ../src/constr/environ.cmi ../src/typing/termenv.cmi ../src/typing/machops.cmi ../src/typing/typing.cmi ../src/parsing/coqAst.cmi ../src/parsing/ast.cmi ../src/env/pfedit.cmi ../src/env/command.cmi ../src/env/vernacinterp.cmi ../src/typing/evd.cmi ../src/tactics/auto.cmi
propre.cmx: propre.ml ../src/lib/util/pp.cmx ../src/lib/util/std.cmx ../src/meta/names.cmx ../src/lib/util/vectops.cmx ../src/constr/term.cmx ../src/typing/mach.cmx ../src/typing/trad.cmx ../src/meta/generic.cmx ../src/typing/printer.cmx ../src/typing/reduction.cmx ../src/typing/himsg.cmx ../src/constr/constrtypes.cmx ../src/constr/environ.cmx ../src/typing/termenv.cmx ../src/typing/machops.cmx ../src/typing/typing.cmx ../src/parsing/coqAst.cmx ../src/parsing/ast.cmx ../src/env/pfedit.cmx ../src/env/command.cmx ../src/env/vernacinterp.cmx ../src/typing/evd.cmx ../src/tactics/auto.cmx
prolog.cmo: prolog.ml ../src/lib/util/std.cmi ../src/lib/util/more_util.cmi ../src/meta/names.cmi ../src/lib/util/vectops.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/reduction.cmi ../src/proofs/proof_trees.cmi ../src/proofs/tacmach.cmi ../src/tactics/tactics.cmi ../src/lib/util/pp.cmi ../src/proofs/clenv.cmi ../src/typing/termenv.cmi ../src/tactics/auto.cmi ../src/typing/evd.cmi ../src/tactics/tacticals.cmi ../src/lib/util/fmavm.cmi
prolog.cmx: prolog.ml ../src/lib/util/std.cmx ../src/lib/util/more_util.cmx ../src/meta/names.cmx ../src/lib/util/vectops.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/reduction.cmx ../src/proofs/proof_trees.cmx ../src/proofs/tacmach.cmx ../src/tactics/tactics.cmx ../src/lib/util/pp.cmx ../src/proofs/clenv.cmx ../src/typing/termenv.cmx ../src/tactics/auto.cmx ../src/typing/evd.cmx ../src/tactics/tacticals.cmx ../src/lib/util/fmavm.cmx
program.cmo: program.ml ../src/lib/util/std.cmi ../src/lib/util/pp.cmi ../src/meta/names.cmi ../src/lib/util/vectops.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/reduction.cmi ../src/typing/termenv.cmi ../src/lib/util/more_util.cmi ../src/typing/machops.cmi ../src/proofs/proof_trees.cmi ../src/proofs/refiner.cmi ../src/proofs/tacmach.cmi progmach.cmo ../src/constr/constrtypes.cmi ../src/proofs/clenv.cmi ../src/meta/initial.cmi ../src/typing/indtypes.cmi ../src/typing/printer.cmi ../src/env/pfedit.cmi ../src/typing/himsg.cmi ../src/tactics/wcclausenv.cmi ../src/tactics/tacticals.cmi ../src/tactics/tactics.cmi ../src/tactics/elim.cmi ../src/tactics/auto.cmi ../src/constr/environ.cmi ../src/typing/evd.cmi ../src/lib/util/intavm.cmi ../src/env/vernacinterp.cmi
program.cmx: program.ml ../src/lib/util/std.cmx ../src/lib/util/pp.cmx ../src/meta/names.cmx ../src/lib/util/vectops.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/reduction.cmx ../src/typing/termenv.cmx ../src/lib/util/more_util.cmx ../src/typing/machops.cmx ../src/proofs/proof_trees.cmx ../src/proofs/refiner.cmx ../src/proofs/tacmach.cmx progmach.cmx ../src/constr/constrtypes.cmx ../src/proofs/clenv.cmx ../src/meta/initial.cmx ../src/typing/indtypes.cmx ../src/typing/printer.cmx ../src/env/pfedit.cmx ../src/typing/himsg.cmx ../src/tactics/wcclausenv.cmx ../src/tactics/tacticals.cmx ../src/tactics/tactics.cmx ../src/tactics/elim.cmx ../src/tactics/auto.cmx ../src/constr/environ.cmx ../src/typing/evd.cmx ../src/lib/util/intavm.cmx ../src/env/vernacinterp.cmx
progmach.cmo: progmach.ml ../src/lib/util/std.cmi ../src/lib/util/pp.cmi ../src/lib/util/more_util.cmi ../src/lib/util/vectops.cmi ../src/meta/names.cmi ../src/meta/generic.cmi ../src/constr/impuniv.cmi ../src/constr/term.cmi ../src/meta/initial.cmi ../src/typing/printer.cmi ../src/typing/himsg.cmi ../src/typing/reduction.cmi ../src/typing/typing.cmi ../src/typing/machops.cmi ../src/typing/termenv.cmi ../src/constr/environ.cmi ../src/typing/astterm.cmi ../src/constr/constrtypes.cmi ../src/typing/tradevar.cmi ../src/parsing/coqAst.cmi ../src/typing/evd.cmi ../src/typing/mach.cmi ../src/typing/trad.cmi ../src/typing/indrec.cmi ../src/typing/multcase.cmi ../src/typing/multcase_astterm.cmi ../src/parsing/ast.cmi ../src/constr/sosub.cmi
progmach.cmx: progmach.ml ../src/lib/util/std.cmx ../src/lib/util/pp.cmx ../src/lib/util/more_util.cmx ../src/lib/util/vectops.cmx ../src/meta/names.cmx ../src/meta/generic.cmx ../src/constr/impuniv.cmx ../src/constr/term.cmx ../src/meta/initial.cmx ../src/typing/printer.cmx ../src/typing/himsg.cmx ../src/typing/reduction.cmx ../src/typing/typing.cmx ../src/typing/machops.cmx ../src/typing/termenv.cmx ../src/constr/environ.cmx ../src/typing/astterm.cmx ../src/constr/constrtypes.cmx ../src/typing/tradevar.cmx ../src/parsing/coqAst.cmx ../src/typing/evd.cmx ../src/typing/mach.cmx ../src/typing/trad.cmx ../src/typing/indrec.cmx ../src/typing/multcase.cmx ../src/typing/multcase_astterm.cmx ../src/parsing/ast.cmx ../src/constr/sosub.cmx
point.cmo: point.ml ../src/lib/util/std.cmi ../src/meta/initial.cmi ../src/meta/names.cmi ../src/lib/util/vectops.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/reduction.cmi ../src/typing/himsg.cmi ../src/typing/mach.cmi ../src/proofs/proof_trees.cmi ../src/typing/trad.cmi ../src/proofs/tacmach.cmi ../src/tactics/tactics.cmi ../src/lib/util/pp.cmi ../src/proofs/clenv.cmi ../src/typing/termenv.cmi ../src/meta/libobject.cmi ../src/meta/library.cmi ../src/env/vernacinterp.cmi ../src/tactics/pattern.cmi ../src/tactics/tacticals.cmi ../src/typing/termast.cmi ../src/parsing/coqAst.cmi ../src/parsing/ast.cmi ../src/parsing/pcoq.cmi ../src/tactics/nbtermdn.cmi ../src/meta/summary.cmi ../src/proofs/tacinterp.cmi ../src/constr/nametab.cmi
point.cmx: point.ml ../src/lib/util/std.cmx ../src/meta/initial.cmx ../src/meta/names.cmx ../src/lib/util/vectops.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/reduction.cmx ../src/typing/himsg.cmx ../src/typing/mach.cmx ../src/proofs/proof_trees.cmx ../src/typing/trad.cmx ../src/proofs/tacmach.cmx ../src/tactics/tactics.cmx ../src/lib/util/pp.cmx ../src/proofs/clenv.cmx ../src/typing/termenv.cmx ../src/meta/libobject.cmx ../src/meta/library.cmx ../src/env/vernacinterp.cmx ../src/tactics/pattern.cmx ../src/tactics/tacticals.cmx ../src/typing/termast.cmx ../src/parsing/coqAst.cmx ../src/parsing/ast.cmx ../src/parsing/pcoq.cmx ../src/tactics/nbtermdn.cmx ../src/meta/summary.cmx ../src/proofs/tacinterp.cmx ../src/constr/nametab.cmx
mimick.cmo: mimick.ml mimick.cmi ../src/meta/initial.cmi ../src/lib/util/std.cmi ../src/lib/util/more_util.cmi ../src/meta/names.cmi ../src/meta/generic.cmi ../src/typing/evd.cmi ../src/constr/term.cmi ../src/proofs/proof_trees.cmi ../src/proofs/refiner.cmi ../src/proofs/tacmach.cmi ../src/env/pfedit.cmi ../src/typing/himsg.cmi ../src/lib/util/pp.cmi ../src/lib/util/system.cmi ../src/env/vernacinterp.cmi ../src/constr/constrtypes.cmi ../src/meta/lib.cmi ../src/env/command.cmi ../src/env/discharge.cmi ../src/env/vernacentries.cmi ../src/meta/library.cmi ../src/meta/errors.cmi
mimick.cmx: mimick.ml mimick.cmi ../src/meta/initial.cmx ../src/lib/util/std.cmx ../src/lib/util/more_util.cmx ../src/meta/names.cmx ../src/meta/generic.cmx ../src/typing/evd.cmx ../src/constr/term.cmx ../src/proofs/proof_trees.cmx ../src/proofs/refiner.cmx ../src/proofs/tacmach.cmx ../src/env/pfedit.cmx ../src/typing/himsg.cmx ../src/lib/util/pp.cmx ../src/lib/util/system.cmx ../src/env/vernacinterp.cmx ../src/constr/constrtypes.cmx ../src/meta/lib.cmx ../src/env/command.cmx ../src/env/discharge.cmx ../src/env/vernacentries.cmx ../src/meta/library.cmx ../src/meta/errors.cmx
leminv.cmo: leminv.ml ../src/lib/util/std.cmi ../src/meta/initial.cmi ../src/lib/util/more_util.cmi ../src/lib/util/pp.cmi ../src/meta/names.cmi ../src/meta/generic.cmi ../src/typing/evd.cmi ../src/constr/term.cmi ../src/typing/printer.cmi ../src/typing/termenv.cmi ../src/typing/reduction.cmi ../src/typing/mach.cmi ../src/typing/trad.cmi ../src/proofs/tacmach.cmi ../src/proofs/proof_trees.cmi ../src/proofs/clenv.cmi ../src/env/declare.cmi ../src/tactics/wcclausenv.cmi ../src/tactics/pattern.cmi ../src/tactics/tacticals.cmi ../src/tactics/tactics.cmi equality.cmi inv.cmo ../src/constr/environ.cmi ../src/proofs/refiner.cmi ../src/env/discharge.cmi ../src/constr/constrtypes.cmi ../src/env/pfedit.cmi ../src/env/vernacinterp.cmi
leminv.cmx: leminv.ml ../src/lib/util/std.cmx ../src/meta/initial.cmx ../src/lib/util/more_util.cmx ../src/lib/util/pp.cmx ../src/meta/names.cmx ../src/meta/generic.cmx ../src/typing/evd.cmx ../src/constr/term.cmx ../src/typing/printer.cmx ../src/typing/termenv.cmx ../src/typing/reduction.cmx ../src/typing/mach.cmx ../src/typing/trad.cmx ../src/proofs/tacmach.cmx ../src/proofs/proof_trees.cmx ../src/proofs/clenv.cmx ../src/env/declare.cmx ../src/tactics/wcclausenv.cmx ../src/tactics/pattern.cmx ../src/tactics/tacticals.cmx ../src/tactics/tactics.cmx equality.cmx inv.cmx ../src/constr/environ.cmx ../src/proofs/refiner.cmx ../src/env/discharge.cmx ../src/constr/constrtypes.cmx ../src/env/pfedit.cmx ../src/env/vernacinterp.cmx
inv.cmo: inv.ml ../src/lib/util/std.cmi ../src/meta/initial.cmi ../src/lib/util/more_util.cmi ../src/lib/util/pp.cmi ../src/meta/names.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/printer.cmi ../src/typing/termenv.cmi ../src/typing/reduction.cmi ../src/typing/mach.cmi ../src/typing/trad.cmi ../src/proofs/tacmach.cmi ../src/proofs/proof_trees.cmi ../src/proofs/clenv.cmi ../src/tactics/tactics.cmi ../src/tactics/wcclausenv.cmi ../src/tactics/tacticals.cmi ../src/tactics/elim.cmi equality.cmi ../src/constr/environ.cmi ../src/typing/indrec.cmi ../src/tactics/auto.cmi
inv.cmx: inv.ml ../src/lib/util/std.cmx ../src/meta/initial.cmx ../src/lib/util/more_util.cmx ../src/lib/util/pp.cmx ../src/meta/names.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/printer.cmx ../src/typing/termenv.cmx ../src/typing/reduction.cmx ../src/typing/mach.cmx ../src/typing/trad.cmx ../src/proofs/tacmach.cmx ../src/proofs/proof_trees.cmx ../src/proofs/clenv.cmx ../src/tactics/tactics.cmx ../src/tactics/wcclausenv.cmx ../src/tactics/tacticals.cmx ../src/tactics/elim.cmx equality.cmx ../src/constr/environ.cmx ../src/typing/indrec.cmx ../src/tactics/auto.cmx
include.cmo: include.ml
include.cmx: include.ml
gelim.cmo: gelim.ml ../src/lib/util/std.cmi ../src/meta/initial.cmi ../src/lib/util/more_util.cmi ../src/lib/util/pp.cmi ../src/meta/names.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/printer.cmi ../src/typing/termenv.cmi ../src/typing/reduction.cmi ../src/typing/mach.cmi ../src/typing/trad.cmi ../src/proofs/tacmach.cmi ../src/proofs/proof_trees.cmi ../src/proofs/clenv.cmi ../src/tactics/tactics.cmi ../src/tactics/wcclausenv.cmi ../src/tactics/pattern.cmi ../src/tactics/tacticals.cmi ../src/tactics/elim.cmi equality.cmi ../src/tactics/auto.cmi ../src/constr/environ.cmi ../src/typing/evd.cmi
gelim.cmx: gelim.ml ../src/lib/util/std.cmx ../src/meta/initial.cmx ../src/lib/util/more_util.cmx ../src/lib/util/pp.cmx ../src/meta/names.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/printer.cmx ../src/typing/termenv.cmx ../src/typing/reduction.cmx ../src/typing/mach.cmx ../src/typing/trad.cmx ../src/proofs/tacmach.cmx ../src/proofs/proof_trees.cmx ../src/proofs/clenv.cmx ../src/tactics/tactics.cmx ../src/tactics/wcclausenv.cmx ../src/tactics/pattern.cmx ../src/tactics/tacticals.cmx ../src/tactics/elim.cmx equality.cmx ../src/tactics/auto.cmx ../src/constr/environ.cmx ../src/typing/evd.cmx
equality.cmo: equality.ml equality.cmi ../src/constr/impuniv.cmi ../src/lib/util/std.cmi ../src/meta/initial.cmi ../src/meta/names.cmi ../src/lib/util/vectops.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/typing/reduction.cmi ../src/typing/typing.cmi ../src/typing/termenv.cmi ../src/typing/mach.cmi ../src/lib/util/more_util.cmi ../src/lib/util/pp.cmi ../src/proofs/tacmach.cmi ../src/proofs/proof_trees.cmi ../src/tactics/wcclausenv.cmi ../src/tactics/pattern.cmi ../src/tactics/tacticals.cmi ../src/tactics/tactics.cmi ../src/env/vernacinterp.cmi ../src/proofs/tacinterp.cmi ../src/typing/machops.cmi ../src/constr/environ.cmi ../src/lib/util/hashtabl.cmi ../src/meta/library.cmi ../src/meta/summary.cmi ../src/meta/libobject.cmi ../src/typing/trad.cmi ../src/parsing/coqAst.cmi
equality.cmx: equality.ml equality.cmi ../src/constr/impuniv.cmx ../src/lib/util/std.cmx ../src/meta/initial.cmx ../src/meta/names.cmx ../src/lib/util/vectops.cmx ../src/meta/generic.cmx ../src/constr/term.cmx ../src/typing/reduction.cmx ../src/typing/typing.cmx ../src/typing/termenv.cmx ../src/typing/mach.cmx ../src/lib/util/more_util.cmx ../src/lib/util/pp.cmx ../src/proofs/tacmach.cmx ../src/proofs/proof_trees.cmx ../src/tactics/wcclausenv.cmx ../src/tactics/pattern.cmx ../src/tactics/tacticals.cmx ../src/tactics/tactics.cmx ../src/env/vernacinterp.cmx ../src/proofs/tacinterp.cmx ../src/typing/machops.cmx ../src/constr/environ.cmx ../src/lib/util/hashtabl.cmx ../src/meta/library.cmx ../src/meta/summary.cmx ../src/meta/libobject.cmx ../src/typing/trad.cmx ../src/parsing/coqAst.cmx
eqdecide.cmo: eqdecide.ml ../src/meta/names.cmi ../src/constr/term.cmi ../src/tactics/tactics.cmi ../src/tactics/tacticals.cmi ../src/tactics/hiddentac.cmi equality.cmi ../src/tactics/auto.cmi ../src/tactics/pattern.cmi ../src/typing/termenv.cmi ../src/lib/util/std.cmi ../src/proofs/proof_trees.cmi ../src/proofs/tacmach.cmi
eqdecide.cmx: eqdecide.ml ../src/meta/names.cmx ../src/constr/term.cmx ../src/tactics/tactics.cmx ../src/tactics/tacticals.cmx ../src/tactics/hiddentac.cmx equality.cmx ../src/tactics/auto.cmx ../src/tactics/pattern.cmx ../src/typing/termenv.cmx ../src/lib/util/std.cmx ../src/proofs/proof_trees.cmx ../src/proofs/tacmach.cmx
base_printers.cmo: base_printers.ml ../src/lib/util/pp.cmi ../src/meta/names.cmi
base_printers.cmx: base_printers.ml ../src/lib/util/pp.cmx ../src/meta/names.cmx
base_include.cmo: base_include.ml ../src/parsing/pcoq.cmi ../src/typing/astterm.cmi ../src/typing/evd.cmi
base_include.cmx: base_include.ml ../src/parsing/pcoq.cmx ../src/typing/astterm.cmx ../src/typing/evd.cmx
tauto.cmi: tauto.mli ../src/proofs/tacmach.cmi ../src/constr/term.cmi
mimick.cmi: mimick.mli ../src/lib/util/std.cmi ../src/lib/util/more_util.cmi ../src/meta/names.cmi ../src/meta/generic.cmi ../src/constr/term.cmi ../src/proofs/proof_trees.cmi ../src/proofs/tacmach.cmi ../src/env/pfedit.cmi ../src/typing/evd.cmi
equality.cmi: equality.mli ../src/constr/term.cmi ../src/proofs/tacmach.cmi ../src/meta/names.cmi ../src/typing/evd.cmi ../src/proofs/proof_trees.cmi ../src/tactics/pattern.cmi ../src/tactics/wcclausenv.cmi ../src/tactics/tacticals.cmi ../src/tactics/tactics.cmi ../src/parsing/coqAst.cmi
Tauto.vo: Tauto.v
Prolog.vo: Prolog.v
Program.vo: Program.v
ProPre.vo: ProPre.v
Point.vo: Point.v
Mimick.vo: Mimick.v
Inv.vo: Inv.v Equality.vo
GElim.vo: GElim.v Equality.vo
Equality.vo: Equality.v
EqDecide.vo: EqDecide.v equality.cmo eqdecide.cmo
