omega.cmo: omega.ml ../../../src/lib/util/hashtabl.cmi ../../../src/lib/util/std.cmi
omega.cmx: omega.ml ../../../src/lib/util/hashtabl.cmx ../../../src/lib/util/std.cmx
coq_omega.cmo: coq_omega.ml ../../../src/proofs/proof_trees.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/reduction.cmi ../../../src/meta/initial.cmi ../../../src/parsing/coqAst.cmi ../../../src/parsing/ast.cmi ../../../src/meta/names.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/constr/environ.cmi ../../../src/typing/termenv.cmi ../../../src/typing/machops.cmi ../../../src/proofs/tacmach.cmi ../../../src/tactics/tactics.cmi ../../../src/typing/termast.cmi ../../../src/proofs/clenv.cmi ../../../src/env/vernacinterp.cmi ../../../src/tactics/pattern.cmi omega.cmo ../../../src/typing/printer.cmi ../../../tactics/equality.cmi ../../../src/lib/util/hashtabl.cmi
coq_omega.cmx: coq_omega.ml ../../../src/proofs/proof_trees.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/reduction.cmx ../../../src/meta/initial.cmx ../../../src/parsing/coqAst.cmx ../../../src/parsing/ast.cmx ../../../src/meta/names.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/constr/environ.cmx ../../../src/typing/termenv.cmx ../../../src/typing/machops.cmx ../../../src/proofs/tacmach.cmx ../../../src/tactics/tactics.cmx ../../../src/typing/termast.cmx ../../../src/proofs/clenv.cmx ../../../src/env/vernacinterp.cmx ../../../src/tactics/pattern.cmx omega.cmx ../../../src/typing/printer.cmx ../../../tactics/equality.cmx ../../../src/lib/util/hashtabl.cmx
Zpower.vo: Zpower.v Omega.vo Zcomplements.vo
Zlogarithm.vo: Zlogarithm.v Omega.vo Zcomplements.vo Zpower.vo
Zcomplements.vo: Zcomplements.v Omega.vo ../../../theories/ARITH/Wf_nat.vo
OmegaSyntax.vo: OmegaSyntax.v
Omega.vo: Omega.v ../../../theories/ZARITH/ZArith.vo ../../../theories/ARITH/Minus.vo ../../../tactics/equality.cmo omega.cmo coq_omega.cmo OmegaSyntax.vo
