continuationals.cmo : \
    continuationals.cmi
continuationals.cmx : \
    continuationals.cmi
continuationals.cmi :
declarative.cmo : \
    nnAuto.cmi \
    nTactics.cmi \
    nTacStatus.cmi \
    nCicElim.cmi \
    continuationals.cmi \
    declarative.cmi
declarative.cmx : \
    nnAuto.cmx \
    nTactics.cmx \
    nTacStatus.cmx \
    nCicElim.cmx \
    continuationals.cmx \
    declarative.cmi
declarative.cmi : \
    nnAuto.cmi \
    nTacStatus.cmi
nCicElim.cmo : \
    nCicElim.cmi
nCicElim.cmx : \
    nCicElim.cmi
nCicElim.cmi :
nCicTacReduction.cmo : \
    nCicTacReduction.cmi
nCicTacReduction.cmx : \
    nCicTacReduction.cmi
nCicTacReduction.cmi :
nDestructTac.cmo : \
    nTactics.cmi \
    nTacStatus.cmi \
    continuationals.cmi \
    nDestructTac.cmi
nDestructTac.cmx : \
    nTactics.cmx \
    nTacStatus.cmx \
    continuationals.cmx \
    nDestructTac.cmi
nDestructTac.cmi : \
    nTacStatus.cmi
nInversion.cmo : \
    nTactics.cmi \
    nTacStatus.cmi \
    nCicElim.cmi \
    continuationals.cmi \
    nInversion.cmi
nInversion.cmx : \
    nTactics.cmx \
    nTacStatus.cmx \
    nCicElim.cmx \
    continuationals.cmx \
    nInversion.cmi
nInversion.cmi : \
    nTacStatus.cmi
nTacStatus.cmo : \
    nCicTacReduction.cmi \
    continuationals.cmi \
    nTacStatus.cmi
nTacStatus.cmx : \
    nCicTacReduction.cmx \
    continuationals.cmx \
    nTacStatus.cmi
nTacStatus.cmi : \
    continuationals.cmi
nTactics.cmo : \
    nTacStatus.cmi \
    nCicElim.cmi \
    continuationals.cmi \
    nTactics.cmi
nTactics.cmx : \
    nTacStatus.cmx \
    nCicElim.cmx \
    continuationals.cmx \
    nTactics.cmi
nTactics.cmi : \
    nTacStatus.cmi
nnAuto.cmo : \
    nTactics.cmi \
    nTacStatus.cmi \
    nCicTacReduction.cmi \
    continuationals.cmi \
    nnAuto.cmi
nnAuto.cmx : \
    nTactics.cmx \
    nTacStatus.cmx \
    nCicTacReduction.cmx \
    continuationals.cmx \
    nnAuto.cmi
nnAuto.cmi : \
    nTacStatus.cmi