matita/components/ng_refiner/.depend.opt

   1 nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
   2     nCicMetaSubst.cmx nCicCoercion.cmi
   3 nCicCoercion.cmi : nCicUnifHint.cmi
   4 nCicMetaSubst.cmx : nCicMetaSubst.cmi
   5 nCicMetaSubst.cmi :
   6 nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
   7 nCicRefineUtil.cmi :
   8 nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
   9     nCicCoercion.cmx nCicRefiner.cmi
  10 nCicRefiner.cmi : nCicCoercion.cmi
  11 nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
  12     nCicUnifHint.cmi
  13 nCicUnifHint.cmi :
  14 nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
  15 nCicUnification.cmi : nCicCoercion.cmi
  16 nDiscriminationTree.cmx : nDiscriminationTree.cmi
  17 nDiscriminationTree.cmi :