typing.cmo: typing.ml typing.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/impuniv.cmi ../constr/environ.cmi ../lib/util/pp.cmi ../constr/term.cmi termenv.cmi ../constr/constrtypes.cmi reduction.cmi himsg.cmi evd.cmi
typing.cmx: typing.ml typing.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/impuniv.cmx ../constr/environ.cmx ../lib/util/pp.cmx ../constr/term.cmx termenv.cmx ../constr/constrtypes.cmx reduction.cmx himsg.cmx evd.cmx
tradevar.cmo: tradevar.ml tradevar.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../constr/impuniv.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi printer.cmi termenv.cmi evd.cmi reduction.cmi himsg.cmi ../constr/environ.cmi
tradevar.cmx: tradevar.ml tradevar.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../constr/impuniv.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx printer.cmx termenv.cmx evd.cmx reduction.cmx himsg.cmx ../constr/environ.cmx
trad.cmo: trad.ml trad.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../constr/impuniv.cmi ../meta/generic.cmi evd.cmi ../constr/term.cmi printer.cmi reduction.cmi termenv.cmi typing.cmi himsg.cmi ../lib/util/more_util.cmi machops.cmi classops.cmi recordops.cmi tradevar.cmi mach.cmi indrec.cmi ../parsing/coqAst.cmi multcase.cmi astterm.cmi ../parsing/ast.cmi ../constr/constraintab.cmi
trad.cmx: trad.ml trad.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../constr/impuniv.cmx ../meta/generic.cmx evd.cmx ../constr/term.cmx printer.cmx reduction.cmx termenv.cmx typing.cmx himsg.cmx ../lib/util/more_util.cmx machops.cmx classops.cmx recordops.cmx tradevar.cmx mach.cmx indrec.cmx ../parsing/coqAst.cmx multcase.cmx astterm.cmx ../parsing/ast.cmx ../constr/constraintab.cmx
termenv.cmo: termenv.ml termenv.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi evd.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../constr/environ.cmi ../constr/vartab.cmi ../constr/abstraction.cmi ../constr/nametab.cmi
termenv.cmx: termenv.ml termenv.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx evd.cmx ../constr/term.cmx ../constr/constrtypes.cmx ../constr/environ.cmx ../constr/vartab.cmx ../constr/abstraction.cmx ../constr/nametab.cmx
termast.cmo: termast.ml termast.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/environ.cmi termenv.cmi ../constr/impuniv.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../constr/vartab.cmi ../constr/constrtypes.cmi ../constr/nametab.cmi ../meta/options.cmi
termast.cmx: termast.ml termast.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../constr/environ.cmx termenv.cmx ../constr/impuniv.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../constr/vartab.cmx ../constr/constrtypes.cmx ../constr/nametab.cmx ../meta/options.cmx
reduction.cmo: reduction.ml reduction.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/impuniv.cmi ../lib/util/pp.cmi evd.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../constr/environ.cmi termenv.cmi himsg.cmi closure.cmi printer.cmi
reduction.cmx: reduction.ml reduction.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/impuniv.cmx ../lib/util/pp.cmx evd.cmx ../constr/term.cmx ../constr/constrtypes.cmx ../constr/environ.cmx termenv.cmx himsg.cmx closure.cmx printer.cmx
recordops.cmo: recordops.ml recordops.cmi ../lib/util/std.cmi ../meta/names.cmi machops.cmi ../lib/util/vectops.cmi himsg.cmi ../lib/util/pp.cmi ../constr/vartab.cmi ../meta/libobject.cmi ../meta/library.cmi ../constr/term.cmi ../lib/util/more_util.cmi ../lib/util/pp_control.cmi ../meta/generic.cmi ../meta/initial.cmi classops.cmi ../meta/summary.cmi
recordops.cmx: recordops.ml recordops.cmi ../lib/util/std.cmx ../meta/names.cmx machops.cmx ../lib/util/vectops.cmx himsg.cmx ../lib/util/pp.cmx ../constr/vartab.cmx ../meta/libobject.cmx ../meta/library.cmx ../constr/term.cmx ../lib/util/more_util.cmx ../lib/util/pp_control.cmx ../meta/generic.cmx ../meta/initial.cmx classops.cmx ../meta/summary.cmx
printer.cmo: printer.ml printer.cmi ../meta/initial.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../constr/term.cmi ../parsing/coqAst.cmi termenv.cmi ../constr/environ.cmi ../lib/util/more_util.cmi termast.cmi ../constr/nametab.cmi ../parsing/ast.cmi ../parsing/extend.cmi ../parsing/esyntax.cmi
printer.cmx: printer.ml printer.cmi ../meta/initial.cmx ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../constr/term.cmx ../parsing/coqAst.cmx termenv.cmx ../constr/environ.cmx ../lib/util/more_util.cmx termast.cmx ../constr/nametab.cmx ../parsing/ast.cmx ../parsing/extend.cmx ../parsing/esyntax.cmx
multcase_astterm.cmo: multcase_astterm.ml multcase_astterm.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../parsing/coqAst.cmi ../constr/impuniv.cmi ../parsing/ast.cmi machops.cmi ../constr/environ.cmi
multcase_astterm.cmx: multcase_astterm.ml multcase_astterm.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../parsing/coqAst.cmx ../constr/impuniv.cmx ../parsing/ast.cmx machops.cmx ../constr/environ.cmx
multcase.cmo: multcase.ml multcase.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi himsg.cmi ../lib/util/pp.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi termenv.cmi reduction.cmi typing.cmi ../meta/names.cmi multcase_astterm.cmi astterm.cmi indrec.cmi tradevar.cmi evd.cmi ../parsing/ast.cmi ../constr/environ.cmi
multcase.cmx: multcase.ml multcase.cmi ../lib/util/std.cmx ../lib/util/more_util.cmx himsg.cmx ../lib/util/pp.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx termenv.cmx reduction.cmx typing.cmx ../meta/names.cmx multcase_astterm.cmx astterm.cmx indrec.cmx tradevar.cmx evd.cmx ../parsing/ast.cmx ../constr/environ.cmx
machops.cmo: machops.ml machops.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../constr/impuniv.cmi ../meta/generic.cmi evd.cmi ../constr/term.cmi reduction.cmi ../constr/environ.cmi typing.cmi termenv.cmi himsg.cmi ../lib/util/pp.cmi extraction.cmi ../constr/nametab.cmi
machops.cmx: machops.ml machops.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../constr/impuniv.cmx ../meta/generic.cmx evd.cmx ../constr/term.cmx reduction.cmx ../constr/environ.cmx typing.cmx termenv.cmx himsg.cmx ../lib/util/pp.cmx extraction.cmx ../constr/nametab.cmx
mach.cmo: mach.ml mach.cmi ../lib/util/vectops.cmi ../lib/util/std.cmi ../lib/util/pp.cmi himsg.cmi ../meta/names.cmi ../constr/impuniv.cmi extraction.cmi ../meta/generic.cmi ../constr/term.cmi reduction.cmi typing.cmi termenv.cmi machops.cmi ../constr/constrtypes.cmi ../constr/environ.cmi evd.cmi
mach.cmx: mach.ml mach.cmi ../lib/util/vectops.cmx ../lib/util/std.cmx ../lib/util/pp.cmx himsg.cmx ../meta/names.cmx ../constr/impuniv.cmx extraction.cmx ../meta/generic.cmx ../constr/term.cmx reduction.cmx typing.cmx termenv.cmx machops.cmx ../constr/constrtypes.cmx ../constr/environ.cmx evd.cmx
indtypes.cmo: indtypes.ml indtypes.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../constr/impuniv.cmi extraction.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/constrtypes.cmi reduction.cmi typing.cmi termenv.cmi himsg.cmi mach.cmi dischcore.cmi ../meta/initial.cmi ../constr/environ.cmi evd.cmi machops.cmi
indtypes.cmx: indtypes.ml indtypes.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../constr/impuniv.cmx extraction.cmx ../meta/generic.cmx ../constr/term.cmx ../constr/constrtypes.cmx reduction.cmx typing.cmx termenv.cmx himsg.cmx mach.cmx dischcore.cmx ../meta/initial.cmx ../constr/environ.cmx evd.cmx machops.cmx
indrec.cmo: indrec.ml indrec.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/environ.cmi ../constr/constrtypes.cmi reduction.cmi typing.cmi termenv.cmi himsg.cmi ../lib/util/pp.cmi evd.cmi
indrec.cmx: indrec.ml indrec.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../constr/environ.cmx ../constr/constrtypes.cmx reduction.cmx typing.cmx termenv.cmx himsg.cmx ../lib/util/pp.cmx evd.cmx
himsg.cmo: himsg.ml himsg.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../meta/names.cmi ../constr/term.cmi ../parsing/coqAst.cmi printer.cmi ../parsing/ast.cmi ../meta/errors.cmi
himsg.cmx: himsg.ml himsg.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/more_util.cmx ../meta/names.cmx ../constr/term.cmx ../parsing/coqAst.cmx printer.cmx ../parsing/ast.cmx ../meta/errors.cmx
extraction.cmo: extraction.ml extraction.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../constr/impuniv.cmi ../constr/constrtypes.cmi ../constr/environ.cmi ../meta/generic.cmi evd.cmi ../constr/term.cmi reduction.cmi typing.cmi termenv.cmi ../lib/util/vectops.cmi ../meta/options.cmi
extraction.cmx: extraction.ml extraction.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../constr/impuniv.cmx ../constr/constrtypes.cmx ../constr/environ.cmx ../meta/generic.cmx evd.cmx ../constr/term.cmx reduction.cmx typing.cmx termenv.cmx ../lib/util/vectops.cmx ../meta/options.cmx
evd.cmo: evd.ml evd.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi ../lib/util/avm.cmi
evd.cmx: evd.ml evd.cmi ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../constr/term.cmx ../lib/util/avm.cmx
dischcore.cmo: dischcore.ml dischcore.cmi ../lib/util/std.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi reduction.cmi typing.cmi ../lib/util/pp.cmi himsg.cmi ../constr/constrtypes.cmi ../constr/environ.cmi termenv.cmi evd.cmi
dischcore.cmx: dischcore.ml dischcore.cmi ../lib/util/std.cmx ../meta/names.cmx ../meta/generic.cmx ../constr/term.cmx reduction.cmx typing.cmx ../lib/util/pp.cmx himsg.cmx ../constr/constrtypes.cmx ../constr/environ.cmx termenv.cmx evd.cmx
closure.cmo: closure.ml closure.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/vectops.cmi ../constr/term.cmi ../meta/generic.cmi ../meta/names.cmi termenv.cmi ../constr/impuniv.cmi evd.cmi printer.cmi
closure.cmx: closure.ml closure.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/vectops.cmx ../constr/term.cmx ../meta/generic.cmx ../meta/names.cmx termenv.cmx ../constr/impuniv.cmx evd.cmx printer.cmx
classops.cmo: classops.ml classops.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../lib/util/pp.cmi ../constr/vartab.cmi ../meta/libobject.cmi ../constr/constrtypes.cmi ../meta/library.cmi ../constr/term.cmi ../lib/util/more_util.cmi ../meta/generic.cmi ../meta/initial.cmi printer.cmi ../meta/summary.cmi reduction.cmi ../meta/lib.cmi ../constr/environ.cmi machops.cmi
classops.cmx: classops.ml classops.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../lib/util/pp.cmx ../constr/vartab.cmx ../meta/libobject.cmx ../constr/constrtypes.cmx ../meta/library.cmx ../constr/term.cmx ../lib/util/more_util.cmx ../meta/generic.cmx ../meta/initial.cmx printer.cmx ../meta/summary.cmx reduction.cmx ../meta/lib.cmx ../constr/environ.cmx machops.cmx
astterm.cmo: astterm.ml astterm.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/names.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../lib/util/vectops.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/environ.cmi termenv.cmi ../constr/impuniv.cmi himsg.cmi multcase_astterm.cmi evd.cmi machops.cmi ../constr/vartab.cmi ../constr/sosub.cmi termast.cmi ../parsing/pcoq.cmi
astterm.cmx: astterm.ml astterm.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/names.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../lib/util/vectops.cmx ../meta/generic.cmx ../constr/term.cmx ../constr/environ.cmx termenv.cmx ../constr/impuniv.cmx himsg.cmx multcase_astterm.cmx evd.cmx machops.cmx ../constr/vartab.cmx ../constr/sosub.cmx termast.cmx ../parsing/pcoq.cmx
typing.cmi: typing.mli ../meta/names.cmi ../lib/util/pp.cmi ../constr/term.cmi ../constr/constrtypes.cmi termenv.cmi evd.cmi
tradevar.cmi: tradevar.mli ../meta/names.cmi ../constr/term.cmi evd.cmi
trad.cmi: trad.mli ../meta/names.cmi ../constr/term.cmi evd.cmi ../parsing/coqAst.cmi ../constr/impuniv.cmi
termenv.cmi: termenv.mli ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi evd.cmi
termast.cmi: termast.mli ../constr/term.cmi ../meta/names.cmi ../parsing/coqAst.cmi
reduction.cmi: reduction.mli ../constr/impuniv.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi closure.cmi evd.cmi
recordops.cmi: recordops.mli ../meta/names.cmi ../constr/term.cmi ../meta/libobject.cmi classops.cmi
printer.cmi: printer.mli ../lib/util/pp.cmi ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi evd.cmi ../parsing/coqAst.cmi
multcase_astterm.cmi: multcase_astterm.mli ../meta/names.cmi ../constr/term.cmi
multcase.cmi: multcase.mli ../meta/names.cmi ../constr/term.cmi evd.cmi
machops.cmi: machops.mli ../meta/names.cmi ../lib/util/vectops.cmi ../constr/impuniv.cmi extraction.cmi ../meta/generic.cmi ../constr/term.cmi reduction.cmi typing.cmi ../lib/util/pp.cmi evd.cmi
mach.cmi: mach.mli ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/impuniv.cmi ../lib/util/pp.cmi evd.cmi
indtypes.cmi: indtypes.mli ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../meta/generic.cmi termenv.cmi ../lib/util/listmap.cmi
indrec.cmi: indrec.mli ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../meta/generic.cmi termenv.cmi evd.cmi
himsg.cmi: himsg.mli ../lib/util/pp.cmi ../meta/names.cmi ../constr/term.cmi ../parsing/coqAst.cmi
extraction.cmi: extraction.mli ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi evd.cmi
evd.cmi: evd.mli ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi
dischcore.cmi: dischcore.mli ../meta/names.cmi ../lib/util/more_util.cmi ../meta/generic.cmi ../constr/term.cmi
closure.cmi: closure.mli ../lib/util/pp.cmi ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi evd.cmi
classops.cmi: classops.mli ../meta/names.cmi ../constr/term.cmi ../meta/libobject.cmi ../constr/constrtypes.cmi ../lib/util/pp.cmi evd.cmi
astterm.cmi: astterm.mli ../meta/names.cmi ../constr/term.cmi evd.cmi ../parsing/coqAst.cmi
