matita/components/ng_refiner/.depend.opt

   1 nCicCoercion.cmx : \
   2     nDiscriminationTree.cmx \
   3     nCicUnifHint.cmx \
   4     nCicMetaSubst.cmx \
   5     nCicCoercion.cmi
   6 nCicCoercion.cmi : \
   7     nCicUnifHint.cmi
   8 nCicMetaSubst.cmx : \
   9     nCicMetaSubst.cmi
  10 nCicMetaSubst.cmi :
  11 nCicRefineUtil.cmx : \
  12     nCicMetaSubst.cmx \
  13     nCicRefineUtil.cmi
  14 nCicRefineUtil.cmi :
  15 nCicRefiner.cmx : \
  16     nCicUnification.cmx \
  17     nCicRefineUtil.cmx \
  18     nCicMetaSubst.cmx \
  19     nCicCoercion.cmx \
  20     nCicRefiner.cmi
  21 nCicRefiner.cmi : \
  22     nCicCoercion.cmi
  23 nCicUnifHint.cmx : \
  24     nDiscriminationTree.cmx \
  25     nCicMetaSubst.cmx \
  26     nCicUnifHint.cmi
  27 nCicUnifHint.cmi :
  28 nCicUnification.cmx : \
  29     nCicUnifHint.cmx \
  30     nCicMetaSubst.cmx \
  31     nCicUnification.cmi
  32 nCicUnification.cmi : \
  33     nCicCoercion.cmi
  34 nDiscriminationTree.cmx : \
  35     nDiscriminationTree.cmi
  36 nDiscriminationTree.cmi :