matita/components/ng_tactics/.depend.opt

   1 continuationals.cmx : continuationals.cmi
   2 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
   7 nCicElim.cmi :
   8 nCicTacReduction.cmx : nCicTacReduction.cmi
   9 nCicTacReduction.cmi :
  10 nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
  11     nDestructTac.cmi
  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