version_searchisos.cmo: version_searchisos.ml version_searchisos.cmi
version_searchisos.cmx: version_searchisos.ml version_searchisos.cmi
vernacinterp.cmo: vernacinterp.ml vernacinterp.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/pp.cmi ../typing/himsg.cmi ../proofs/proof_trees.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../lib/util/dyn.cmi ../lib/util/mhm.cmi ../meta/errors.cmi
vernacinterp.cmx: vernacinterp.ml vernacinterp.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/pp.cmx ../typing/himsg.cmx ../proofs/proof_trees.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../lib/util/dyn.cmx ../lib/util/mhm.cmx ../meta/errors.cmx
vernacentries.cmo: vernacentries.ml vernacentries.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../lib/util/system.cmi ../constr/term.cmi ../typing/reduction.cmi discharge.cmi ../proofs/tacmach.cmi pfedit.cmi command.cmi pretty.cmi ../typing/termast.cmi ../typing/printer.cmi ../lib/util/more_util.cmi ../proofs/proof_trees.cmi ../meta/library.cmi ../meta/libobject.cmi ../constr/constrtypes.cmi ../constr/environ.cmi ../typing/termenv.cmi ../meta/states.cmi ../typing/trad.cmi vernacinterp.cmi constants.cmi declare.cmi ../typing/classops.cmi class.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi record.cmi ../typing/evd.cmi recordobj.cmi ../proofs/refiner.cmi ../constr/nametab.cmi ../typing/typing.cmi metasyntax.cmi ../parsing/pcoq.cmi ../proofs/macros.cmi ../parsing/extend.cmi searchisos.cmi ../meta/options.cmi ../lib/util/pp_control.cmi
vernacentries.cmx: vernacentries.ml vernacentries.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../lib/util/system.cmx ../constr/term.cmx ../typing/reduction.cmx discharge.cmx ../proofs/tacmach.cmx pfedit.cmx command.cmx pretty.cmx ../typing/termast.cmx ../typing/printer.cmx ../lib/util/more_util.cmx ../proofs/proof_trees.cmx ../meta/library.cmx ../meta/libobject.cmx ../constr/constrtypes.cmx ../constr/environ.cmx ../typing/termenv.cmx ../meta/states.cmx ../typing/trad.cmx vernacinterp.cmx constants.cmx declare.cmx ../typing/classops.cmx class.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx record.cmx ../typing/evd.cmx recordobj.cmx ../proofs/refiner.cmx ../constr/nametab.cmx ../typing/typing.cmx metasyntax.cmx ../parsing/pcoq.cmx ../proofs/macros.cmx ../parsing/extend.cmx searchisos.cmx ../meta/options.cmx ../lib/util/pp_control.cmx
vernac.cmo: vernac.ml vernac.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/system.cmi ../parsing/coqAst.cmi vernacinterp.cmi ../parsing/ast.cmi ../parsing/pcoq.cmi ../meta/library.cmi pfedit.cmi discharge.cmi ../meta/initial.cmi
vernac.cmx: vernac.ml vernac.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/system.cmx ../parsing/coqAst.cmx vernacinterp.cmx ../parsing/ast.cmx ../parsing/pcoq.cmx ../meta/library.cmx pfedit.cmx discharge.cmx ../meta/initial.cmx
variables.cmo: variables.ml variables.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../constr/term.cmi ../lib/util/pp.cmi ../typing/mach.cmi ../typing/evd.cmi ../meta/lib.cmi
variables.cmx: variables.ml variables.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../constr/term.cmx ../lib/util/pp.cmx ../typing/mach.cmx ../typing/evd.cmx ../meta/lib.cmx
searchisos.cmo: searchisos.ml searchisos.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/vectops.cmi ../lib/util/more_util.cmi ../constr/constrtypes.cmi ../constr/environ.cmi ../meta/generic.cmi ../meta/libobject.cmi ../meta/library.cmi ../meta/names.cmi ../typing/reduction.cmi ../meta/summary.cmi ../lib/util/system.cmi ../constr/term.cmi ../typing/printer.cmi pretty.cmi ../typing/evd.cmi ../meta/lib.cmi
searchisos.cmx: searchisos.ml searchisos.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/vectops.cmx ../lib/util/more_util.cmx ../constr/constrtypes.cmx ../constr/environ.cmx ../meta/generic.cmx ../meta/libobject.cmx ../meta/library.cmx ../meta/names.cmx ../typing/reduction.cmx ../meta/summary.cmx ../lib/util/system.cmx ../constr/term.cmx ../typing/printer.cmx pretty.cmx ../typing/evd.cmx ../meta/lib.cmx
recordobj.cmo: recordobj.ml recordobj.cmi ../lib/util/std.cmi ../meta/initial.cmi ../meta/names.cmi ../constr/term.cmi ../meta/generic.cmi ../typing/mach.cmi ../proofs/tacmach.cmi pfedit.cmi pretty.cmi ../parsing/clexer.cmi ../typing/himsg.cmi ../lib/util/more_util.cmi ../lib/util/pp.cmi ../meta/libobject.cmi ../meta/library.cmi ../constr/environ.cmi ../typing/termenv.cmi ../meta/states.cmi ../typing/trad.cmi ../parsing/ast.cmi vernacinterp.cmi ../typing/termast.cmi ../typing/machops.cmi ../typing/classops.cmi ../typing/recordops.cmi
recordobj.cmx: recordobj.ml recordobj.cmi ../lib/util/std.cmx ../meta/initial.cmx ../meta/names.cmx ../constr/term.cmx ../meta/generic.cmx ../typing/mach.cmx ../proofs/tacmach.cmx pfedit.cmx pretty.cmx ../parsing/clexer.cmx ../typing/himsg.cmx ../lib/util/more_util.cmx ../lib/util/pp.cmx ../meta/libobject.cmx ../meta/library.cmx ../constr/environ.cmx ../typing/termenv.cmx ../meta/states.cmx ../typing/trad.cmx ../parsing/ast.cmx vernacinterp.cmx ../typing/termast.cmx ../typing/machops.cmx ../typing/classops.cmx ../typing/recordops.cmx
record.cmo: record.ml record.cmi ../lib/util/std.cmi ../meta/names.cmi ../constr/term.cmi ../meta/generic.cmi ../typing/mach.cmi command.cmi ../lib/util/more_util.cmi ../lib/util/pp.cmi ../constr/constrtypes.cmi ../typing/termenv.cmi ../typing/trad.cmi ../parsing/ast.cmi ../parsing/coqAst.cmi ../typing/machops.cmi ../typing/classops.cmi ../typing/recordops.cmi declare.cmi class.cmi
record.cmx: record.ml record.cmi ../lib/util/std.cmx ../meta/names.cmx ../constr/term.cmx ../meta/generic.cmx ../typing/mach.cmx command.cmx ../lib/util/more_util.cmx ../lib/util/pp.cmx ../constr/constrtypes.cmx ../typing/termenv.cmx ../typing/trad.cmx ../parsing/ast.cmx ../parsing/coqAst.cmx ../typing/machops.cmx ../typing/classops.cmx ../typing/recordops.cmx declare.cmx class.cmx
protectedtoplevel.cmo: protectedtoplevel.ml protectedtoplevel.cmi ../lib/util/pp.cmi line_oriented_parser.cmi vernac.cmi ../parsing/pcoq.cmi ../meta/errors.cmi vernacinterp.cmi
protectedtoplevel.cmx: protectedtoplevel.ml protectedtoplevel.cmi ../lib/util/pp.cmx line_oriented_parser.cmx vernac.cmx ../parsing/pcoq.cmx ../meta/errors.cmx vernacinterp.cmx
pretty.cmo: pretty.ml pretty.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/vectops.cmi ../meta/names.cmi ../lib/util/more_util.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/printer.cmi ../constr/constrtypes.cmi ../constr/constraintab.cmi ../typing/reduction.cmi ../constr/environ.cmi ../typing/termenv.cmi ../typing/mach.cmi ../meta/libobject.cmi ../constr/nametab.cmi ../typing/evd.cmi ../lib/util/listmap.cmi ../meta/lib.cmi ../meta/library.cmi ../typing/machops.cmi ../constr/vartab.cmi constants.cmi
pretty.cmx: pretty.ml pretty.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/vectops.cmx ../meta/names.cmx ../lib/util/more_util.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/printer.cmx ../constr/constrtypes.cmx ../constr/constraintab.cmx ../typing/reduction.cmx ../constr/environ.cmx ../typing/termenv.cmx ../typing/mach.cmx ../meta/libobject.cmx ../constr/nametab.cmx ../typing/evd.cmx ../lib/util/listmap.cmx ../meta/lib.cmx ../meta/library.cmx ../typing/machops.cmx ../constr/vartab.cmx constants.cmx
pfedit.cmo: pfedit.ml pfedit.cmi ../lib/util/std.cmi ../meta/names.cmi ../meta/generic.cmi ../typing/evd.cmi ../constr/term.cmi declare.cmi ../typing/trad.cmi ../typing/mach.cmi ../lib/util/more_util.cmi ../lib/util/pp.cmi ../typing/termenv.cmi ../proofs/tacmach.cmi ../proofs/proof_trees.cmi ../meta/library.cmi ../constr/constrtypes.cmi ../lib/util/edit.cmi ../meta/states.cmi
pfedit.cmx: pfedit.ml pfedit.cmi ../lib/util/std.cmx ../meta/names.cmx ../meta/generic.cmx ../typing/evd.cmx ../constr/term.cmx declare.cmx ../typing/trad.cmx ../typing/mach.cmx ../lib/util/more_util.cmx ../lib/util/pp.cmx ../typing/termenv.cmx ../proofs/tacmach.cmx ../proofs/proof_trees.cmx ../meta/library.cmx ../constr/constrtypes.cmx ../lib/util/edit.cmx ../meta/states.cmx
mltop.cmo: mltop.ml4 mltop.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../meta/libobject.cmi ../meta/library.cmi ../lib/util/more_util.cmi ../lib/util/system.cmi vernacinterp.cmi ../proofs/tacmach.cmi ../meta/summary.cmi
mltop.cmx: mltop.ml4 mltop.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../meta/libobject.cmx ../meta/library.cmx ../lib/util/more_util.cmx ../lib/util/system.cmx vernacinterp.cmx ../proofs/tacmach.cmx ../meta/summary.cmx
metasyntax.cmo: metasyntax.ml metasyntax.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../parsing/pcoq.cmi ../parsing/extend.cmi ../parsing/esyntax.cmi ../meta/libobject.cmi ../meta/library.cmi ../meta/summary.cmi ../parsing/egrammar.cmi
metasyntax.cmx: metasyntax.ml metasyntax.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../parsing/pcoq.cmx ../parsing/extend.cmx ../parsing/esyntax.cmx ../meta/libobject.cmx ../meta/library.cmx ../meta/summary.cmx ../parsing/egrammar.cmx
line_oriented_parser.cmo: line_oriented_parser.ml line_oriented_parser.cmi
line_oriented_parser.cmx: line_oriented_parser.ml line_oriented_parser.cmi
discharge.cmo: discharge.ml discharge.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../lib/util/vectops.cmi ../meta/libobject.cmi ../meta/library.cmi ../meta/names.cmi ../constr/impuniv.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/printer.cmi ../constr/constrtypes.cmi ../constr/constraintab.cmi ../constr/environ.cmi ../typing/termenv.cmi ../typing/dischcore.cmi variables.cmi constants.cmi ../typing/indtypes.cmi declare.cmi class.cmi ../typing/classops.cmi pretty.cmi ../typing/recordops.cmi recordobj.cmi ../meta/lib.cmi
discharge.cmx: discharge.ml discharge.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../lib/util/vectops.cmx ../meta/libobject.cmx ../meta/library.cmx ../meta/names.cmx ../constr/impuniv.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/printer.cmx ../constr/constrtypes.cmx ../constr/constraintab.cmx ../constr/environ.cmx ../typing/termenv.cmx ../typing/dischcore.cmx variables.cmx constants.cmx ../typing/indtypes.cmx declare.cmx class.cmx ../typing/classops.cmx pretty.cmx ../typing/recordops.cmx recordobj.cmx ../meta/lib.cmx
declare.cmo: declare.ml declare.cmi ../lib/util/std.cmi ../lib/util/vectops.cmi ../meta/names.cmi ../constr/impuniv.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../typing/himsg.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../meta/library.cmi ../constr/environ.cmi ../typing/termenv.cmi ../typing/dischcore.cmi variables.cmi constants.cmi ../typing/indtypes.cmi ../typing/indrec.cmi ../constr/abstraction.cmi ../typing/reduction.cmi ../meta/initial.cmi ../constr/nametab.cmi ../meta/lib.cmi ../typing/machops.cmi
declare.cmx: declare.ml declare.cmi ../lib/util/std.cmx ../lib/util/vectops.cmx ../meta/names.cmx ../constr/impuniv.cmx ../meta/generic.cmx ../constr/term.cmx ../constr/constrtypes.cmx ../typing/himsg.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../meta/library.cmx ../constr/environ.cmx ../typing/termenv.cmx ../typing/dischcore.cmx variables.cmx constants.cmx ../typing/indtypes.cmx ../typing/indrec.cmx ../constr/abstraction.cmx ../typing/reduction.cmx ../meta/initial.cmx ../constr/nametab.cmx ../meta/lib.cmx ../typing/machops.cmx
coqtoplevel.cmo: coqtoplevel.ml coqtoplevel.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../meta/errors.cmi vernac.cmi ../typing/printer.cmi ../parsing/pcoq.cmi protectedtoplevel.cmi ../parsing/ast.cmi pfedit.cmi vernacinterp.cmi mltop.cmi ../lib/util/profile.cmi
coqtoplevel.cmx: coqtoplevel.ml coqtoplevel.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../lib/util/more_util.cmx ../meta/errors.cmx vernac.cmx ../typing/printer.cmx ../parsing/pcoq.cmx protectedtoplevel.cmx ../parsing/ast.cmx pfedit.cmx vernacinterp.cmx mltop.cmx ../lib/util/profile.cmx
constants.cmo: constants.ml constants.cmi ../lib/util/std.cmi ../meta/names.cmi ../meta/generic.cmi ../meta/library.cmi ../constr/constrtypes.cmi ../constr/term.cmi ../typing/reduction.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../typing/dischcore.cmi ../constr/environ.cmi ../typing/termenv.cmi ../meta/initial.cmi ../typing/printer.cmi ../typing/evd.cmi ../typing/machops.cmi ../constr/nametab.cmi ../meta/libobject.cmi ../meta/lib.cmi ../typing/mach.cmi
constants.cmx: constants.ml constants.cmi ../lib/util/std.cmx ../meta/names.cmx ../meta/generic.cmx ../meta/library.cmx ../constr/constrtypes.cmx ../constr/term.cmx ../typing/reduction.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../typing/dischcore.cmx ../constr/environ.cmx ../typing/termenv.cmx ../meta/initial.cmx ../typing/printer.cmx ../typing/evd.cmx ../typing/machops.cmx ../constr/nametab.cmx ../meta/libobject.cmx ../meta/lib.cmx ../typing/mach.cmx
command.cmo: command.ml command.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../typing/himsg.cmi ../meta/initial.cmi ../constr/constrtypes.cmi ../meta/generic.cmi ../constr/term.cmi ../typing/termenv.cmi ../typing/reduction.cmi ../typing/mach.cmi declare.cmi ../typing/trad.cmi ../meta/names.cmi ../parsing/coqAst.cmi ../parsing/ast.cmi ../meta/library.cmi ../meta/libobject.cmi ../typing/astterm.cmi ../typing/evd.cmi ../constr/vartab.cmi ../typing/machops.cmi ../typing/indrec.cmi
command.cmx: command.ml command.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../typing/himsg.cmx ../meta/initial.cmx ../constr/constrtypes.cmx ../meta/generic.cmx ../constr/term.cmx ../typing/termenv.cmx ../typing/reduction.cmx ../typing/mach.cmx declare.cmx ../typing/trad.cmx ../meta/names.cmx ../parsing/coqAst.cmx ../parsing/ast.cmx ../meta/library.cmx ../meta/libobject.cmx ../typing/astterm.cmx ../typing/evd.cmx ../constr/vartab.cmx ../typing/machops.cmx ../typing/indrec.cmx
cmdobj.cmo: cmdobj.ml ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/system.cmi coqtoplevel.cmi ../meta/states.cmi pfedit.cmi ../meta/errors.cmi vernac.cmi ../config/coq_config.cmi mltop.cmi
cmdobj.cmx: cmdobj.ml ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/system.cmx coqtoplevel.cmx ../meta/states.cmx pfedit.cmx ../meta/errors.cmx vernac.cmx ../config/coq_config.cmx mltop.cmx
cmd_searchisos_line.cmo: cmd_searchisos_line.ml ../lib/util/std.cmi ../meta/initial.cmi ../meta/states.cmi ../lib/util/system.cmi ../lib/util/pp.cmi vernac.cmi cmdobj.cmo coqtoplevel.cmi ../config/coq_config.cmi ../launch/usage.cmo mltop.cmi ../meta/errors.cmi searchisos.cmi ../meta/lib.cmi
cmd_searchisos_line.cmx: cmd_searchisos_line.ml ../lib/util/std.cmx ../meta/initial.cmx ../meta/states.cmx ../lib/util/system.cmx ../lib/util/pp.cmx vernac.cmx cmdobj.cmx coqtoplevel.cmx ../config/coq_config.cmx ../launch/usage.cmx mltop.cmx ../meta/errors.cmx searchisos.cmx ../meta/lib.cmx
cmd_line.cmo: cmd_line.ml ../lib/util/std.cmi ../lib/util/pp.cmi coqtoplevel.cmi cmdobj.cmo ../meta/initial.cmi ../meta/states.cmi ../lib/util/system.cmi ../config/coq_config.cmi mltop.cmi vernac.cmi ../meta/library.cmi ../launch/usage.cmo ../typing/printer.cmi ../meta/errors.cmi ../lib/util/profile.cmi
cmd_line.cmx: cmd_line.ml ../lib/util/std.cmx ../lib/util/pp.cmx coqtoplevel.cmx cmdobj.cmx ../meta/initial.cmx ../meta/states.cmx ../lib/util/system.cmx ../config/coq_config.cmx mltop.cmx vernac.cmx ../meta/library.cmx ../launch/usage.cmx ../typing/printer.cmx ../meta/errors.cmx ../lib/util/profile.cmx
class.cmo: class.ml class.cmi ../lib/util/pp.cmi ../lib/util/vectops.cmi ../lib/util/std.cmi ../lib/util/more_util.cmi ../parsing/coqAst.cmi ../meta/names.cmi ../meta/libobject.cmi ../meta/library.cmi ../typing/classops.cmi ../constr/term.cmi ../typing/mach.cmi ../typing/termenv.cmi ../typing/himsg.cmi ../meta/generic.cmi ../constr/vartab.cmi ../constr/environ.cmi ../typing/machops.cmi ../typing/dischcore.cmi declare.cmi ../constr/constrtypes.cmi ../meta/lib.cmi ../parsing/pcoq.cmi metasyntax.cmi
class.cmx: class.ml class.cmi ../lib/util/pp.cmx ../lib/util/vectops.cmx ../lib/util/std.cmx ../lib/util/more_util.cmx ../parsing/coqAst.cmx ../meta/names.cmx ../meta/libobject.cmx ../meta/library.cmx ../typing/classops.cmx ../constr/term.cmx ../typing/mach.cmx ../typing/termenv.cmx ../typing/himsg.cmx ../meta/generic.cmx ../constr/vartab.cmx ../constr/environ.cmx ../typing/machops.cmx ../typing/dischcore.cmx declare.cmx ../constr/constrtypes.cmx ../meta/lib.cmx ../parsing/pcoq.cmx metasyntax.cmx
version_searchisos.cmi: version_searchisos.mli
vernacinterp.cmi: vernacinterp.mli ../lib/util/std.cmi ../meta/names.cmi ../lib/util/more_util.cmi ../lib/util/pp.cmi ../typing/himsg.cmi ../proofs/proof_trees.cmi ../parsing/coqAst.cmi ../lib/util/dyn.cmi ../lib/util/mhm.cmi
vernacentries.cmi: vernacentries.mli ../meta/names.cmi ../constr/term.cmi vernacinterp.cmi
vernac.cmi: vernac.mli ../parsing/coqAst.cmi ../parsing/pcoq.cmi
variables.cmi: variables.mli ../meta/names.cmi ../constr/term.cmi ../constr/impuniv.cmi
searchisos.cmi: searchisos.mli ../constr/term.cmi ../meta/names.cmi ../meta/libobject.cmi
recordobj.cmi: recordobj.mli ../meta/names.cmi
record.cmi: record.mli ../meta/names.cmi ../constr/term.cmi ../parsing/coqAst.cmi
protectedtoplevel.cmi: protectedtoplevel.mli ../lib/util/pp.cmi line_oriented_parser.cmi vernac.cmi
pretty.cmi: pretty.mli ../lib/util/pp.cmi ../meta/names.cmi ../constr/term.cmi ../typing/reduction.cmi ../constr/constrtypes.cmi ../meta/lib.cmi
pfedit.cmi: pfedit.mli ../meta/names.cmi ../constr/term.cmi ../lib/util/pp.cmi ../proofs/proof_trees.cmi ../proofs/tacmach.cmi ../constr/constrtypes.cmi ../meta/states.cmi ../parsing/coqAst.cmi
mltop.cmi: mltop.mli ../meta/libobject.cmi
metasyntax.cmi: metasyntax.mli ../parsing/extend.cmi ../parsing/coqAst.cmi
line_oriented_parser.cmi: line_oriented_parser.mli
discharge.cmi: discharge.mli ../meta/names.cmi ../lib/util/more_util.cmi ../constr/term.cmi ../meta/libobject.cmi ../meta/summary.cmi
declare.cmi: declare.mli ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../typing/reduction.cmi ../lib/util/listmap.cmi
coqtoplevel.cmi: coqtoplevel.mli ../lib/util/pp.cmi ../parsing/pcoq.cmi
constants.cmi: constants.mli ../meta/names.cmi ../meta/generic.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../constr/environ.cmi ../typing/reduction.cmi
command.cmi: command.mli ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../parsing/coqAst.cmi ../typing/reduction.cmi
class.cmi: class.mli ../typing/classops.cmi ../meta/names.cmi ../constr/term.cmi ../constr/constrtypes.cmi ../meta/generic.cmi ../lib/util/more_util.cmi
