matita/components/ng_tactics/.depend.opt

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