util.cmo: util.ml util.cmi ../../../src/lib/util/more_util.cmi
util.cmx: util.ml util.cmi ../../../src/lib/util/more_util.cmx
tutil.cmo: tutil.ml tutil.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/vectops.cmi util.cmi
tutil.cmx: tutil.ml tutil.cmi ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/meta/names.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/lib/util/vectops.cmx util.cmx
ppprooftext.cmo: ppprooftext.ml ppprooftext.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ntdef.cmi ntsons.cmi ntaux.cmi ntpprinter.cmi
ppprooftext.cmx: ppprooftext.ml ppprooftext.cmi ../../../src/lib/util/pp.cmx ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ntdef.cmx ntsons.cmx ntaux.cmx ntpprinter.cmx
ppml.cmo: ppml.ml ppml.cmi ../../../src/lib/util/pp.cmi
ppml.cmx: ppml.ml ppml.cmi ../../../src/lib/util/pp.cmx
ppfrench_aux.cmo: ppfrench_aux.ml ppfrench_aux.cmi ../../../src/lib/util/pp.cmi ntpprinter.cmi
ppfrench_aux.cmx: ppfrench_aux.ml ppfrench_aux.cmi ../../../src/lib/util/pp.cmx ntpprinter.cmx
ppfrench.cmo: ppfrench.ml ppfrench.cmi ppml.cmi ppaux.cmi ntpprinter.cmi ppfrench_aux.cmi
ppfrench.cmx: ppfrench.ml ppfrench.cmi ppml.cmx ppaux.cmx ntpprinter.cmx ppfrench_aux.cmx
ppenglish_aux.cmo: ppenglish_aux.ml ppenglish_aux.cmi ../../../src/lib/util/pp.cmi ntpprinter.cmi
ppenglish_aux.cmx: ppenglish_aux.ml ppenglish_aux.cmi ../../../src/lib/util/pp.cmx ntpprinter.cmx
ppenglish.cmo: ppenglish.ml ppenglish.cmi ppml.cmi ppaux.cmi ntpprinter.cmi ppenglish_aux.cmi
ppenglish.cmx: ppenglish.ml ppenglish.cmi ppml.cmx ppaux.cmx ntpprinter.cmx ppenglish_aux.cmx
ppaux.cmo: ppaux.ml ppaux.cmi ../../../src/constr/term.cmi ../../../src/lib/util/more_util.cmi ntdef.cmi ntaux.cmi ntpprinter.cmi
ppaux.cmx: ppaux.ml ppaux.cmi ../../../src/constr/term.cmx ../../../src/lib/util/more_util.cmx ntdef.cmx ntaux.cmx ntpprinter.cmx
ntuse.cmo: ntuse.ml ntuse.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/lib/util/more_util.cmi ../../../src/typing/reduction.cmi ../../../src/lib/util/vectops.cmi ntdef.cmi ntparam.cmi ntaux.cmi ntsons.cmi
ntuse.cmx: ntuse.ml ntuse.cmi ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/lib/util/more_util.cmx ../../../src/typing/reduction.cmx ../../../src/lib/util/vectops.cmx ntdef.cmx ntparam.cmx ntaux.cmx ntsons.cmx
nttrans.cmo: nttrans.ml nttrans.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/typing/reduction.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/more_util.cmi ../../../src/typing/mach.cmi ../../../src/lib/util/vectops.cmi ../../../src/typing/typing.cmi ../../../src/typing/termenv.cmi util.cmi tutil.cmi ntparam.cmi ntdef.cmi ntaux.cmi ../../../src/typing/evd.cmi ../../../src/typing/printer.cmi
nttrans.cmx: nttrans.ml nttrans.cmi ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/meta/names.cmx ../../../src/typing/reduction.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/lib/util/more_util.cmx ../../../src/typing/mach.cmx ../../../src/lib/util/vectops.cmx ../../../src/typing/typing.cmx ../../../src/typing/termenv.cmx util.cmx tutil.cmx ntparam.cmx ntdef.cmx ntaux.cmx ../../../src/typing/evd.cmx ../../../src/typing/printer.cmx
nttop.cmo: nttop.ml nttop.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi ../../../src/proofs/proof_trees.cmi ../../../src/proofs/tacmach.cmi ../../../src/env/pfedit.cmi ../../../src/typing/evd.cmi ../../../src/meta/libobject.cmi ../../../src/constr/constrtypes.cmi ../../../src/constr/environ.cmi ../../../src/typing/reduction.cmi ../../../src/typing/mach.cmi ../../../src/constr/term.cmi ../../../src/meta/generic.cmi ../../../src/env/constants.cmi ../../../src/constr/vartab.cmi ntdef.cmi nttrans.cmi ntsons.cmi ntdata.cmi ntuse.cmi ntcount.cmi ntformat.cmi ntrefiner.cmi ../../../src/constr/nametab.cmi ../../../src/meta/lib.cmi ../../../src/lib/util/listmap.cmi
nttop.cmx: nttop.ml nttop.cmi ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/names.cmx ../../../src/proofs/proof_trees.cmx ../../../src/proofs/tacmach.cmx ../../../src/env/pfedit.cmx ../../../src/typing/evd.cmx ../../../src/meta/libobject.cmx ../../../src/constr/constrtypes.cmx ../../../src/constr/environ.cmx ../../../src/typing/reduction.cmx ../../../src/typing/mach.cmx ../../../src/constr/term.cmx ../../../src/meta/generic.cmx ../../../src/env/constants.cmx ../../../src/constr/vartab.cmx ntdef.cmx nttrans.cmx ntsons.cmx ntdata.cmx ntuse.cmx ntcount.cmx ntformat.cmx ntrefiner.cmx ../../../src/constr/nametab.cmx ../../../src/meta/lib.cmx ../../../src/lib/util/listmap.cmx
ntsons.cmo: ntsons.ml ntsons.cmi ../../../src/meta/generic.cmi ../../../src/lib/util/std.cmi ../../../src/constr/term.cmi ../../../src/lib/util/vectops.cmi ../../../src/lib/util/more_util.cmi ntdef.cmi ntaux.cmi ../../../src/lib/util/pp.cmi
ntsons.cmx: ntsons.ml ntsons.cmi ../../../src/meta/generic.cmx ../../../src/lib/util/std.cmx ../../../src/constr/term.cmx ../../../src/lib/util/vectops.cmx ../../../src/lib/util/more_util.cmx ntdef.cmx ntaux.cmx ../../../src/lib/util/pp.cmx
ntrefiner.cmo: ntrefiner.ml ntrefiner.cmi ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/typing/termenv.cmi ../../../src/lib/util/more_util.cmi ../../../src/proofs/proof_trees.cmi ../../../src/proofs/logic.cmi ../../../src/proofs/refiner.cmi ../../../src/typing/evd.cmi
ntrefiner.cmx: ntrefiner.ml ntrefiner.cmi ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/typing/termenv.cmx ../../../src/lib/util/more_util.cmx ../../../src/proofs/proof_trees.cmx ../../../src/proofs/logic.cmx ../../../src/proofs/refiner.cmx ../../../src/typing/evd.cmx
ntpprinter.cmo: ntpprinter.ml ntpprinter.cmi ../../../src/lib/util/pp.cmi ../../../src/meta/names.cmi ../../../src/typing/printer.cmi ../../../src/lib/util/more_util.cmi tutil.cmi ntdef.cmi
ntpprinter.cmx: ntpprinter.ml ntpprinter.cmi ../../../src/lib/util/pp.cmx ../../../src/meta/names.cmx ../../../src/typing/printer.cmx ../../../src/lib/util/more_util.cmx tutil.cmx ntdef.cmx
ntparam.cmo: ntparam.ml ntparam.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/typing/reduction.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/mach.cmi ../../../src/typing/machops.cmi ../../../src/typing/termenv.cmi ../../../src/lib/util/more_util.cmi ../../../src/lib/util/vectops.cmi ../../../src/lib/util/coq_set.cmi ../../../src/meta/library.cmi ../../../src/meta/summary.cmi ../../../src/meta/libobject.cmi ../../../src/typing/evd.cmi ../../../src/meta/lib.cmi ../../../src/constr/environ.cmi ../../../src/constr/constrtypes.cmi ../../../src/lib/util/listmap.cmi ../../../src/constr/vartab.cmi
ntparam.cmx: ntparam.ml ntparam.cmi ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/meta/names.cmx ../../../src/typing/reduction.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/mach.cmx ../../../src/typing/machops.cmx ../../../src/typing/termenv.cmx ../../../src/lib/util/more_util.cmx ../../../src/lib/util/vectops.cmx ../../../src/lib/util/coq_set.cmx ../../../src/meta/library.cmx ../../../src/meta/summary.cmx ../../../src/meta/libobject.cmx ../../../src/typing/evd.cmx ../../../src/meta/lib.cmx ../../../src/constr/environ.cmx ../../../src/constr/constrtypes.cmx ../../../src/lib/util/listmap.cmx ../../../src/constr/vartab.cmx
ntinit.cmo: ntinit.ml ntcommand.cmi
ntinit.cmx: ntinit.ml ntcommand.cmx
ntformat.cmo: ntformat.ml ntformat.cmi ../../../src/lib/util/std.cmi ntdef.cmi ntaux.cmi ntsons.cmi
ntformat.cmx: ntformat.ml ntformat.cmi ../../../src/lib/util/std.cmx ntdef.cmx ntaux.cmx ntsons.cmx
ntentries.cmo: ntentries.ml ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/himsg.cmi ../../../src/meta/names.cmi ../../../src/env/vernacinterp.cmi ntcommand.cmi
ntentries.cmx: ntentries.ml ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/himsg.cmx ../../../src/meta/names.cmx ../../../src/env/vernacinterp.cmx ntcommand.cmx
ntdef.cmo: ntdef.ml ntdef.cmi ../../../src/meta/generic.cmi ../../../src/meta/names.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi tutil.cmi ../../../src/constr/term.cmi
ntdef.cmx: ntdef.ml ntdef.cmi ../../../src/meta/generic.cmx ../../../src/meta/names.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx tutil.cmx ../../../src/constr/term.cmx
ntdata.cmo: ntdata.ml ntdata.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/lib/util/more_util.cmi ../../../src/lib/util/std.cmi ../../../src/meta/names.cmi ../../../src/typing/termenv.cmi ntdef.cmi tutil.cmi ntparam.cmi ntaux.cmi ntsons.cmi
ntdata.cmx: ntdata.ml ntdata.cmi ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/lib/util/more_util.cmx ../../../src/lib/util/std.cmx ../../../src/meta/names.cmx ../../../src/typing/termenv.cmx ntdef.cmx tutil.cmx ntparam.cmx ntaux.cmx ntsons.cmx
ntcount.cmo: ntcount.ml ntcount.cmi ../../../src/meta/generic.cmi ../../../src/lib/util/more_util.cmi ../../../src/lib/util/std.cmi ntdef.cmi ntaux.cmi ntsons.cmi
ntcount.cmx: ntcount.ml ntcount.cmi ../../../src/meta/generic.cmx ../../../src/lib/util/more_util.cmx ../../../src/lib/util/std.cmx ntdef.cmx ntaux.cmx ntsons.cmx
ntcommand.cmo: ntcommand.ml ntcommand.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/pp.cmi ../../../src/typing/machops.cmi ntdef.cmi nttop.cmi ntpprinter.cmi ntparam.cmi ppenglish.cmi ppfrench.cmi ../../../src/constr/vartab.cmi ppprooftext.cmi
ntcommand.cmx: ntcommand.ml ntcommand.cmi ../../../src/lib/util/more_util.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/meta/names.cmx ../../../src/lib/util/std.cmx ../../../src/lib/util/pp.cmx ../../../src/typing/machops.cmx ntdef.cmx nttop.cmx ntpprinter.cmx ntparam.cmx ppenglish.cmx ppfrench.cmx ../../../src/constr/vartab.cmx ppprooftext.cmx
ntaux.cmo: ntaux.ml ntaux.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi tutil.cmi ntdef.cmi ntparam.cmi
ntaux.cmx: ntaux.ml ntaux.cmi ../../../src/lib/util/std.cmx ../../../src/lib/util/more_util.cmx ../../../src/meta/generic.cmx ../../../src/constr/term.cmx ../../../src/meta/names.cmx tutil.cmx ntdef.cmx ntparam.cmx
util.cmi: util.mli ../../../src/lib/util/more_util.cmi
tutil.cmi: tutil.mli ../../../src/meta/names.cmi ../../../src/meta/generic.cmi ../../../src/constr/term.cmi
ppprooftext.cmi: ppprooftext.mli
ppml.cmi: ppml.mli ../../../src/lib/util/pp.cmi
ppfrench_aux.cmi: ppfrench_aux.mli
ppfrench.cmi: ppfrench.mli
ppenglish_aux.cmi: ppenglish_aux.mli
ppenglish.cmi: ppenglish.mli
ppaux.cmi: ppaux.mli ../../../src/constr/term.cmi ntdef.cmi
ntuse.cmi: ntuse.mli ntdef.cmi ../../../src/proofs/proof_trees.cmi
nttrans.cmi: nttrans.mli ../../../src/constr/term.cmi ntdef.cmi ../../../src/proofs/proof_trees.cmi
nttop.cmi: nttop.mli ../../../src/meta/names.cmi ntdef.cmi
ntsons.cmi: ntsons.mli ntdef.cmi
ntrefiner.cmi: ntrefiner.mli ../../../src/meta/names.cmi ../../../src/constr/term.cmi ../../../src/proofs/proof_trees.cmi
ntpprinter.cmi: ntpprinter.mli ntdef.cmi ../../../src/lib/util/pp.cmi ../../../src/constr/term.cmi ../../../src/meta/names.cmi
ntparam.cmi: ntparam.mli ../../../src/constr/term.cmi ../../../src/meta/names.cmi ../../../src/proofs/proof_trees.cmi ../../../src/typing/reduction.cmi ../../../src/lib/util/more_util.cmi
ntformat.cmi: ntformat.mli ntdef.cmi
ntdef.cmi: ntdef.mli ../../../src/meta/generic.cmi ../../../src/constr/term.cmi ../../../src/lib/util/std.cmi ../../../src/lib/util/more_util.cmi ../../../src/meta/names.cmi
ntdata.cmi: ntdata.mli ntdef.cmi ../../../src/proofs/proof_trees.cmi
ntcount.cmi: ntcount.mli ntdef.cmi
ntcommand.cmi: ntcommand.mli ../../../src/meta/names.cmi
ntaux.cmi: ntaux.mli ../../../src/constr/term.cmi ../../../src/lib/util/more_util.cmi ntdef.cmi
Natural.vo: Natural.v ntrefiner.cmo util.cmo tutil.cmo ntparam.cmo ntdef.cmo ntaux.cmo ntsons.cmo nttrans.cmo ntpprinter.cmo ntformat.cmo ntdata.cmo ntuse.cmo ntcount.cmo ppml.cmo ppaux.cmo ppenglish_aux.cmo ppenglish.cmo ppfrench_aux.cmo ppfrench.cmo ppprooftext.cmo nttop.cmo ntcommand.cmo ntentries.cmo
