g_natsyntax.cmo: g_natsyntax.ml ../../src/parsing/pcoq.cmi ../../src/lib/util/std.cmi ../../src/lib/util/pp.cmi ../../src/meta/names.cmi ../../src/parsing/coqAst.cmi ../../src/parsing/ast.cmi ../../src/typing/astterm.cmi ../../src/parsing/esyntax.cmi
g_natsyntax.cmx: g_natsyntax.ml ../../src/parsing/pcoq.cmx ../../src/lib/util/std.cmx ../../src/lib/util/pp.cmx ../../src/meta/names.cmx ../../src/parsing/coqAst.cmx ../../src/parsing/ast.cmx ../../src/typing/astterm.cmx ../../src/parsing/esyntax.cmx
Wf_nat.vo: Wf_nat.v Lt.vo
Plus.vo: Plus.v Le.vo Lt.vo
Peano_dec.vo: Peano_dec.v
Mult.vo: Mult.v Plus.vo Minus.vo
Minus.vo: Minus.v Lt.vo Le.vo
Min.vo: Min.v Arith.vo
Lt.vo: Lt.v Le.vo
Le.vo: Le.v
Gt.vo: Gt.v Le.vo Lt.vo Plus.vo
Even.vo: Even.v
Euclid_proof.vo: Euclid_proof.v Euclid_def.vo Compare_dec.vo Wf_nat.vo
Euclid_def.vo: Euclid_def.v Mult.vo
EqNat.vo: EqNat.v
Div2.vo: Div2.v Lt.vo Plus.vo Compare_dec.vo Even.vo
Div.vo: Div.v Le.vo Euclid_def.vo Compare_dec.vo
Compare_dec.vo: Compare_dec.v Le.vo Lt.vo
Compare.vo: Compare.v Arith.vo Peano_dec.vo Compare_dec.vo Wf_nat.vo Min.vo
Between.vo: Between.v Le.vo Lt.vo
Arith.vo: Arith.v Le.vo Lt.vo Plus.vo Gt.vo Minus.vo Mult.vo Between.vo g_natsyntax.cmo
Wf_nat.html: Wf_nat.v Lt.html
Plus.html: Plus.v Le.html Lt.html
Peano_dec.html: Peano_dec.v
Mult.html: Mult.v Plus.html Minus.html
Minus.html: Minus.v Lt.html Le.html
Min.html: Min.v Arith.html
Lt.html: Lt.v Le.html
Le.html: Le.v
Gt.html: Gt.v Le.html Lt.html Plus.html
Even.html: Even.v
Euclid_proof.html: Euclid_proof.v Euclid_def.html Compare_dec.html Wf_nat.html
Euclid_def.html: Euclid_def.v Mult.html
EqNat.html: EqNat.v
Div2.html: Div2.v Lt.html Plus.html Compare_dec.html Even.html
Div.html: Div.v Le.html Euclid_def.html Compare_dec.html
Compare_dec.html: Compare_dec.v Le.html Lt.html
Compare.html: Compare.v Arith.html Peano_dec.html Compare_dec.html Wf_nat.html Min.html
Between.html: Between.v Le.html Lt.html
Arith.html: Arith.v Le.html Lt.html Plus.html Gt.html Minus.html Mult.html Between.html
