1 continuationals.cmo : continuationals.cmi
2 continuationals.cmx : continuationals.cmi
4 nCicElim.cmo : nCicElim.cmi
5 nCicElim.cmx : nCicElim.cmi
7 nCicTacReduction.cmo : nCicTacReduction.cmi
8 nCicTacReduction.cmx : nCicTacReduction.cmi
10 nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \
12 nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
14 nDestructTac.cmi : nTacStatus.cmi
15 nInversion.cmo : nTactics.cmi nTacStatus.cmi nCicElim.cmi \
16 continuationals.cmi nInversion.cmi
17 nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \
18 continuationals.cmx nInversion.cmi
19 nInversion.cmi : nTacStatus.cmi
20 nTacStatus.cmo : nCicTacReduction.cmi continuationals.cmi nTacStatus.cmi
21 nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi
22 nTacStatus.cmi : continuationals.cmi
23 nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi
24 nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
25 nTactics.cmi : nTacStatus.cmi
26 nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \
27 continuationals.cmi nnAuto.cmi
28 nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \
29 continuationals.cmx nnAuto.cmi
30 nnAuto.cmi : nTacStatus.cmi