matita/components/ng_tactics/.depend

   1 continuationals.cmo : continuationals.cmi
   2 continuationals.cmx : continuationals.cmi
   3 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
  11 nCicElim.cmi :
  12 nCicTacReduction.cmo : nCicTacReduction.cmi
  13 nCicTacReduction.cmx : nCicTacReduction.cmi
  14 nCicTacReduction.cmi :
  15 nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \
  16     nDestructTac.cmi
  17 nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
  18     nDestructTac.cmi
  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