1 continuationals.cmx : continuationals.cmi
3 nCicElim.cmx : nCicElim.cmi
5 nCicTacReduction.cmx : nCicTacReduction.cmi
7 nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
9 nDestructTac.cmi : nTacStatus.cmi
10 nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \
11 continuationals.cmx nInversion.cmi
12 nInversion.cmi : nTacStatus.cmi
13 nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi
14 nTacStatus.cmi : continuationals.cmi
15 nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
16 nTactics.cmi : nTacStatus.cmi
17 nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \
18 continuationals.cmx nnAuto.cmi
19 nnAuto.cmi : nTacStatus.cmi