1 continuationals.cmx : continuationals.cmi
3 declarative.cmx : nnAuto.cmx nTactics.cmx nTacStatus.cmx nCicElim.cmx \
4 continuationals.cmx declarative.cmi
5 declarative.cmi : nnAuto.cmi nTacStatus.cmi
6 nCicElim.cmx : nCicElim.cmi
8 nCicTacReduction.cmx : nCicTacReduction.cmi
10 nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
12 nDestructTac.cmi : nTacStatus.cmi
13 nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \
14 continuationals.cmx nInversion.cmi
15 nInversion.cmi : nTacStatus.cmi
16 nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi
17 nTacStatus.cmi : continuationals.cmi
18 nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
19 nTactics.cmi : nTacStatus.cmi
20 nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \
21 continuationals.cmx nnAuto.cmi
22 nnAuto.cmi : nTacStatus.cmi