matita/components/ng_refiner/.depend

   1 nCicCoercion.cmo : \
   2     nDiscriminationTree.cmi \
   3     nCicUnifHint.cmi \
   4     nCicMetaSubst.cmi \
   5     nCicCoercion.cmi
   6 nCicCoercion.cmx : \
   7     nDiscriminationTree.cmx \
   8     nCicUnifHint.cmx \
   9     nCicMetaSubst.cmx \
  10     nCicCoercion.cmi
  11 nCicCoercion.cmi : \
  12     nCicUnifHint.cmi
  13 nCicMetaSubst.cmo : \
  14     nCicMetaSubst.cmi
  15 nCicMetaSubst.cmx : \
  16     nCicMetaSubst.cmi
  17 nCicMetaSubst.cmi :
  18 nCicRefineUtil.cmo : \
  19     nCicMetaSubst.cmi \
  20     nCicRefineUtil.cmi
  21 nCicRefineUtil.cmx : \
  22     nCicMetaSubst.cmx \
  23     nCicRefineUtil.cmi
  24 nCicRefineUtil.cmi :
  25 nCicRefiner.cmo : \
  26     nCicUnification.cmi \
  27     nCicRefineUtil.cmi \
  28     nCicMetaSubst.cmi \
  29     nCicCoercion.cmi \
  30     nCicRefiner.cmi
  31 nCicRefiner.cmx : \
  32     nCicUnification.cmx \
  33     nCicRefineUtil.cmx \
  34     nCicMetaSubst.cmx \
  35     nCicCoercion.cmx \
  36     nCicRefiner.cmi
  37 nCicRefiner.cmi : \
  38     nCicCoercion.cmi
  39 nCicUnifHint.cmo : \
  40     nDiscriminationTree.cmi \
  41     nCicMetaSubst.cmi \
  42     nCicUnifHint.cmi
  43 nCicUnifHint.cmx : \
  44     nDiscriminationTree.cmx \
  45     nCicMetaSubst.cmx \
  46     nCicUnifHint.cmi
  47 nCicUnifHint.cmi :
  48 nCicUnification.cmo : \
  49     nCicUnifHint.cmi \
  50     nCicMetaSubst.cmi \
  51     nCicUnification.cmi
  52 nCicUnification.cmx : \
  53     nCicUnifHint.cmx \
  54     nCicMetaSubst.cmx \
  55     nCicUnification.cmi
  56 nCicUnification.cmi : \
  57     nCicCoercion.cmi
  58 nDiscriminationTree.cmo : \
  59     nDiscriminationTree.cmi
  60 nDiscriminationTree.cmx : \
  61     nDiscriminationTree.cmi
  62 nDiscriminationTree.cmi :