g_zsyntax.cmo: g_zsyntax.ml ../../src/parsing/coqAst.cmi ../../src/parsing/pcoq.cmi ../../src/lib/util/std.cmi ../../src/lib/util/pp.cmi ../../src/meta/names.cmi ../../src/parsing/ast.cmi ../../src/typing/astterm.cmi ../../src/parsing/esyntax.cmi
g_zsyntax.cmx: g_zsyntax.ml ../../src/parsing/coqAst.cmx ../../src/parsing/pcoq.cmx ../../src/lib/util/std.cmx ../../src/lib/util/pp.cmx ../../src/meta/names.cmx ../../src/parsing/ast.cmx ../../src/typing/astterm.cmx ../../src/parsing/esyntax.cmx
zarith_aux.vo: zarith_aux.v ../ARITH/Arith.vo fast_integer.vo
fast_integer.vo: fast_integer.v ../ARITH/Le.vo ../ARITH/Lt.vo ../ARITH/Plus.vo ../ARITH/Mult.vo ../ARITH/Minus.vo
auxiliary.vo: auxiliary.v ../../tactics/Equality.vo ../ARITH/Arith.vo fast_integer.vo zarith_aux.vo ../../tactics/Tauto.vo ../ARITH/Peano_dec.vo ../ARITH/Compare_dec.vo
Zsyntax.vo: Zsyntax.v fast_integer.vo zarith_aux.vo g_zsyntax.cmo
Zmisc.vo: Zmisc.v fast_integer.vo zarith_aux.vo auxiliary.vo Zsyntax.vo ../BOOL/Bool.vo
ZArith_dec.vo: ZArith_dec.v ../BOOL/Sumbool.vo fast_integer.vo zarith_aux.vo auxiliary.vo Zsyntax.vo
ZArith.vo: ZArith.v fast_integer.vo zarith_aux.vo auxiliary.vo Zsyntax.vo ZArith_dec.vo Zmisc.vo Wf_Z.vo
Wf_Z.vo: Wf_Z.v fast_integer.vo zarith_aux.vo auxiliary.vo Zsyntax.vo
zarith_aux.html: zarith_aux.v ../ARITH/Arith.html fast_integer.html
fast_integer.html: fast_integer.v ../ARITH/Le.html ../ARITH/Lt.html ../ARITH/Plus.html ../ARITH/Mult.html ../ARITH/Minus.html
auxiliary.html: auxiliary.v ../../tactics/Equality.html ../ARITH/Arith.html fast_integer.html zarith_aux.html ../../tactics/Tauto.html ../ARITH/Peano_dec.html ../ARITH/Compare_dec.html
Zsyntax.html: Zsyntax.v fast_integer.html zarith_aux.html
Zmisc.html: Zmisc.v fast_integer.html zarith_aux.html auxiliary.html Zsyntax.html ../BOOL/Bool.html
ZArith_dec.html: ZArith_dec.v ../BOOL/Sumbool.html fast_integer.html zarith_aux.html auxiliary.html Zsyntax.html
ZArith.html: ZArith.v fast_integer.html zarith_aux.html auxiliary.html Zsyntax.html ZArith_dec.html Zmisc.html Wf_Z.html
Wf_Z.html: Wf_Z.v fast_integer.html zarith_aux.html auxiliary.html Zsyntax.html
