1 continuationals.cmo : continuationals.cmi
2 continuationals.cmx : continuationals.cmi
4 declarative.cmo : nnAuto.cmi nTactics.cmi nTacStatus.cmi nCicElim.cmi \
5 continuationals.cmi declarative.cmi
6 declarative.cmx : nnAuto.cmx nTactics.cmx nTacStatus.cmx nCicElim.cmx \
7 continuationals.cmx declarative.cmi
8 declarative.cmi : nnAuto.cmi nTacStatus.cmi
9 nCicElim.cmo : nCicElim.cmi
10 nCicElim.cmx : nCicElim.cmi
12 nCicTacReduction.cmo : nCicTacReduction.cmi
13 nCicTacReduction.cmx : nCicTacReduction.cmi
14 nCicTacReduction.cmi :
15 nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \
17 nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
19 nDestructTac.cmi : nTacStatus.cmi
20 nInversion.cmo : nTactics.cmi nTacStatus.cmi nCicElim.cmi \
21 continuationals.cmi nInversion.cmi
22 nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \
23 continuationals.cmx nInversion.cmi
24 nInversion.cmi : nTacStatus.cmi
25 nTacStatus.cmo : nCicTacReduction.cmi continuationals.cmi nTacStatus.cmi
26 nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi
27 nTacStatus.cmi : continuationals.cmi
28 nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi
29 nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
30 nTactics.cmi : nTacStatus.cmi
31 nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \
32 continuationals.cmi nnAuto.cmi
33 nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \
34 continuationals.cmx nnAuto.cmi
35 nnAuto.cmi : nTacStatus.cmi