matita/components/ng_tactics/.depend.opt

   1 continuationals.cmx : \
   2     continuationals.cmi
   3 continuationals.cmi :
   4 declarative.cmx : \
   5     nnAuto.cmx \
   6     nTactics.cmx \
   7     nTacStatus.cmx \
   8     nCicElim.cmx \
   9     continuationals.cmx \
  10     declarative.cmi
  11 declarative.cmi : \
  12     nnAuto.cmi \
  13     nTacStatus.cmi
  14 nCicElim.cmx : \
  15     nCicElim.cmi
  16 nCicElim.cmi :
  17 nCicTacReduction.cmx : \
  18     nCicTacReduction.cmi
  19 nCicTacReduction.cmi :
  20 nDestructTac.cmx : \
  21     nTactics.cmx \
  22     nTacStatus.cmx \
  23     continuationals.cmx \
  24     nDestructTac.cmi
  25 nDestructTac.cmi : \
  26     nTacStatus.cmi
  27 nInversion.cmx : \
  28     nTactics.cmx \
  29     nTacStatus.cmx \
  30     nCicElim.cmx \
  31     continuationals.cmx \
  32     nInversion.cmi
  33 nInversion.cmi : \
  34     nTacStatus.cmi
  35 nTacStatus.cmx : \
  36     nCicTacReduction.cmx \
  37     continuationals.cmx \
  38     nTacStatus.cmi
  39 nTacStatus.cmi : \
  40     continuationals.cmi
  41 nTactics.cmx : \
  42     nTacStatus.cmx \
  43     nCicElim.cmx \
  44     continuationals.cmx \
  45     nTactics.cmi
  46 nTactics.cmi : \
  47     nTacStatus.cmi
  48 nnAuto.cmx : \
  49     nTactics.cmx \
  50     nTacStatus.cmx \
  51     nCicTacReduction.cmx \
  52     continuationals.cmx \
  53     nnAuto.cmi
  54 nnAuto.cmi : \
  55     nTacStatus.cmi