matita/components/ng_tactics/.depend

   1 continuationals.cmo : \
   2     continuationals.cmi
   3 continuationals.cmx : \
   4     continuationals.cmi
   5 continuationals.cmi :
   6 declarative.cmo : \
   7     nnAuto.cmi \
   8     nTactics.cmi \
   9     nTacStatus.cmi \
  10     nCicElim.cmi \
  11     continuationals.cmi \
  12     declarative.cmi
  13 declarative.cmx : \
  14     nnAuto.cmx \
  15     nTactics.cmx \
  16     nTacStatus.cmx \
  17     nCicElim.cmx \
  18     continuationals.cmx \
  19     declarative.cmi
  20 declarative.cmi : \
  21     nnAuto.cmi \
  22     nTacStatus.cmi
  23 nCicElim.cmo : \
  24     nCicElim.cmi
  25 nCicElim.cmx : \
  26     nCicElim.cmi
  27 nCicElim.cmi :
  28 nCicTacReduction.cmo : \
  29     nCicTacReduction.cmi
  30 nCicTacReduction.cmx : \
  31     nCicTacReduction.cmi
  32 nCicTacReduction.cmi :
  33 nDestructTac.cmo : \
  34     nTactics.cmi \
  35     nTacStatus.cmi \
  36     continuationals.cmi \
  37     nDestructTac.cmi
  38 nDestructTac.cmx : \
  39     nTactics.cmx \
  40     nTacStatus.cmx \
  41     continuationals.cmx \
  42     nDestructTac.cmi
  43 nDestructTac.cmi : \
  44     nTacStatus.cmi
  45 nInversion.cmo : \
  46     nTactics.cmi \
  47     nTacStatus.cmi \
  48     nCicElim.cmi \
  49     continuationals.cmi \
  50     nInversion.cmi
  51 nInversion.cmx : \
  52     nTactics.cmx \
  53     nTacStatus.cmx \
  54     nCicElim.cmx \
  55     continuationals.cmx \
  56     nInversion.cmi
  57 nInversion.cmi : \
  58     nTacStatus.cmi
  59 nTacStatus.cmo : \
  60     nCicTacReduction.cmi \
  61     continuationals.cmi \
  62     nTacStatus.cmi
  63 nTacStatus.cmx : \
  64     nCicTacReduction.cmx \
  65     continuationals.cmx \
  66     nTacStatus.cmi
  67 nTacStatus.cmi : \
  68     continuationals.cmi
  69 nTactics.cmo : \
  70     nTacStatus.cmi \
  71     nCicElim.cmi \
  72     continuationals.cmi \
  73     nTactics.cmi
  74 nTactics.cmx : \
  75     nTacStatus.cmx \
  76     nCicElim.cmx \
  77     continuationals.cmx \
  78     nTactics.cmi
  79 nTactics.cmi : \
  80     nTacStatus.cmi
  81 nnAuto.cmo : \
  82     nTactics.cmi \
  83     nTacStatus.cmi \
  84     nCicTacReduction.cmi \
  85     continuationals.cmi \
  86     nnAuto.cmi
  87 nnAuto.cmx : \
  88     nTactics.cmx \
  89     nTacStatus.cmx \
  90     nCicTacReduction.cmx \
  91     continuationals.cmx \
  92     nnAuto.cmi
  93 nnAuto.cmi : \
  94     nTacStatus.cmi