ring.cmo: ring.ml ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/typing/reduction.cmi ../../../src/typing/termenv.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/proofs/tacmach.cmi ../../../src/proofs/proof_trees.cmi ../../../src/typing/printer.cmi ../../../tactics/equality.cmi ../../../src/typing/trad.cmi ../../../src/env/vernacinterp.cmi ../../../src/meta/libobject.cmi ../../../src/typing/closure.cmi ../../../src/tactics/tactics.cmi ../../../src/tactics/pattern.cmi ../../../src/tactics/hiddentac.cmi quote.cmo ../../../src/typing/evd.cmi ../../../src/typing/machops.cmi ../../../src/lib/util/fmavm.cmi ../../../src/meta/library.cmi ../../../src/meta/summary.cmi ../../../src/typing/mach.cmi
ring.cmx: ring.ml ../../../src/constr/term.cmx ../../../src/meta/names.cmx ../../../src/typing/reduction.cmx ../../../src/typing/termenv.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/proofs/tacmach.cmx ../../../src/proofs/proof_trees.cmx ../../../src/typing/printer.cmx ../../../tactics/equality.cmx ../../../src/typing/trad.cmx ../../../src/env/vernacinterp.cmx ../../../src/meta/libobject.cmx ../../../src/typing/closure.cmx ../../../src/tactics/tactics.cmx ../../../src/tactics/pattern.cmx ../../../src/tactics/hiddentac.cmx quote.cmx ../../../src/typing/evd.cmx ../../../src/typing/machops.cmx ../../../src/lib/util/fmavm.cmx ../../../src/meta/library.cmx ../../../src/meta/summary.cmx ../../../src/typing/mach.cmx
quote.cmo: quote.ml ../../../src/lib/util/std.cmi ../../../src/lib/util/vectops.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/tactics/pattern.cmi ../../../src/typing/termenv.cmi ../../../src/proofs/tacmach.cmi ../../../src/tactics/tactics.cmi ../../../src/proofs/proof_trees.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/machops.cmi ../../../src/meta/names.cmi ../../../src/typing/evd.cmi
quote.cmx: quote.ml ../../../src/lib/util/std.cmx ../../../src/lib/util/vectops.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/tactics/pattern.cmx ../../../src/typing/termenv.cmx ../../../src/proofs/tacmach.cmx ../../../src/tactics/tactics.cmx ../../../src/proofs/proof_trees.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/machops.cmx ../../../src/meta/names.cmx ../../../src/typing/evd.cmx
ZArithRing.vo: ZArithRing.v ArithRing.vo ../../../theories/ZARITH/ZArith.vo ../../../theories/LOGIC/Eqdep_dec.vo
Ring_theory.vo: Ring_theory.v ../../../theories/BOOL/Bool.vo
Ring_normalize.vo: Ring_normalize.v Ring_theory.vo Quote.vo
Ring_abstract.vo: Ring_abstract.v Ring_theory.vo Quote.vo Ring_normalize.vo
Ring.vo: Ring.v ../../../theories/BOOL/Bool.vo Ring_theory.vo Quote.vo Ring_normalize.vo Ring_abstract.vo ring.cmo
Quote.vo: Quote.v quote.cmo
ArithRing.vo: ArithRing.v Ring.vo ../../../theories/ARITH/Arith.vo ../../../theories/LOGIC/Eqdep_dec.vo
