vartab.cmo: vartab.ml vartab.cmi ../meta/names.cmi term.cmi constrtypes.cmi ../lib/util/std.cmi ../meta/library.cmi ../meta/summary.cmi
vartab.cmx: vartab.ml vartab.cmi ../meta/names.cmx term.cmx constrtypes.cmx ../lib/util/std.cmx ../meta/library.cmx ../meta/summary.cmx
term.cmo: term.ml term.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi impuniv.cmi ../meta/generic.cmi ../lib/util/pp.cmi ../parsing/coqAst.cmi ../lib/util/hashcons.cmi ../parsing/ast.cmi
term.cmx: term.ml term.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx impuniv.cmx ../meta/generic.cmx ../lib/util/pp.cmx ../parsing/coqAst.cmx ../lib/util/hashcons.cmx ../parsing/ast.cmx
sosub.cmo: sosub.ml sosub.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/vectops.cmi ../lib/util/pp.cmi ../meta/generic.cmi term.cmi
sosub.cmx: sosub.ml sosub.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/vectops.cmx ../lib/util/pp.cmx ../meta/generic.cmx term.cmx
psyntax.cmo: psyntax.ml4
psyntax.cmx: psyntax.ml4
nametab.cmo: nametab.ml nametab.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/pp.cmi ../lib/util/mhmfs.cmi ../meta/library.cmi ../meta/summary.cmi
nametab.cmx: nametab.ml nametab.cmi ../lib/util/std.cmx ../meta/names.cmx ../lib/util/pp.cmx ../lib/util/mhmfs.cmx ../meta/library.cmx ../meta/summary.cmx
impuniv.cmo: impuniv.ml impuniv.cmi ../lib/util/std.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi ../meta/names.cmi ../lib/util/fmavm.cmi ../meta/library.cmi ../meta/summary.cmi ../lib/util/avm.cmi
impuniv.cmx: impuniv.ml impuniv.cmi ../lib/util/std.cmx ../lib/util/pp.cmx ../lib/util/more_util.cmx ../meta/names.cmx ../lib/util/fmavm.cmx ../meta/library.cmx ../meta/summary.cmx ../lib/util/avm.cmx
environ.cmo: environ.ml environ.cmi ../lib/util/pp.cmi ../lib/util/std.cmi ../meta/names.cmi ../lib/util/more_util.cmi ../lib/util/vectops.cmi ../meta/generic.cmi term.cmi constrtypes.cmi ../meta/libobject.cmi ../meta/summary.cmi impuniv.cmi ../lib/util/listmap.cmi constraintab.cmi nametab.cmi vartab.cmi ../meta/lib.cmi
environ.cmx: environ.ml environ.cmi ../lib/util/pp.cmx ../lib/util/std.cmx ../meta/names.cmx ../lib/util/more_util.cmx ../lib/util/vectops.cmx ../meta/generic.cmx term.cmx constrtypes.cmx ../meta/libobject.cmx ../meta/summary.cmx impuniv.cmx ../lib/util/listmap.cmx constraintab.cmx nametab.cmx vartab.cmx ../meta/lib.cmx
constrtypes.cmo: constrtypes.ml constrtypes.cmi ../lib/util/std.cmi ../lib/util/vectops.cmi ../meta/names.cmi ../meta/generic.cmi ../lib/util/pp.cmi term.cmi ../lib/util/listmap.cmi
constrtypes.cmx: constrtypes.ml constrtypes.cmi ../lib/util/std.cmx ../lib/util/vectops.cmx ../meta/names.cmx ../meta/generic.cmx ../lib/util/pp.cmx term.cmx ../lib/util/listmap.cmx
constraintab.cmo: constraintab.ml constraintab.cmi ../lib/util/pp.cmi ../meta/names.cmi ../meta/libobject.cmi impuniv.cmi ../meta/library.cmi ../meta/summary.cmi ../meta/lib.cmi
constraintab.cmx: constraintab.ml constraintab.cmi ../lib/util/pp.cmx ../meta/names.cmx ../meta/libobject.cmx impuniv.cmx ../meta/library.cmx ../meta/summary.cmx ../meta/lib.cmx
abstraction.cmo: abstraction.ml abstraction.cmi ../lib/util/std.cmi ../lib/util/vectops.cmi ../meta/names.cmi ../meta/generic.cmi term.cmi ../meta/libobject.cmi nametab.cmi ../meta/lib.cmi sosub.cmi
abstraction.cmx: abstraction.ml abstraction.cmi ../lib/util/std.cmx ../lib/util/vectops.cmx ../meta/names.cmx ../meta/generic.cmx term.cmx ../meta/libobject.cmx nametab.cmx ../meta/lib.cmx sosub.cmx
vartab.cmi: vartab.mli ../meta/names.cmi ../lib/util/more_util.cmi term.cmi constrtypes.cmi
term.cmi: term.mli ../meta/names.cmi ../meta/generic.cmi ../parsing/coqAst.cmi impuniv.cmi
sosub.cmi: sosub.mli term.cmi
nametab.cmi: nametab.mli ../meta/names.cmi
impuniv.cmi: impuniv.mli ../meta/names.cmi ../lib/util/pp.cmi ../lib/util/fmavm.cmi
environ.cmi: environ.mli ../meta/names.cmi ../lib/util/pp.cmi ../lib/util/more_util.cmi term.cmi constrtypes.cmi ../meta/libobject.cmi impuniv.cmi ../lib/util/listmap.cmi
constrtypes.cmi: constrtypes.mli ../meta/names.cmi ../meta/generic.cmi term.cmi ../lib/util/listmap.cmi
constraintab.cmi: constraintab.mli ../lib/util/pp.cmi ../meta/names.cmi ../meta/libobject.cmi impuniv.cmi
abstraction.cmi: abstraction.mli ../meta/names.cmi term.cmi ../meta/libobject.cmi ../meta/generic.cmi ../lib/util/more_util.cmi
