matita/components/ng_refiner/.depend.opt

   1 nDiscriminationTree.cmi :
   2 nCicMetaSubst.cmi :
   3 nCicUnifHint.cmi :
   4 nCicCoercion.cmi : nCicUnifHint.cmi
   5 nCicRefineUtil.cmi :
   6 nCicUnification.cmi : nCicCoercion.cmi
   7 nCicRefiner.cmi : nCicCoercion.cmi
   8 nDiscriminationTree.cmo : nDiscriminationTree.cmi
   9 nDiscriminationTree.cmx : nDiscriminationTree.cmi
  10 nCicMetaSubst.cmo : nCicMetaSubst.cmi
  11 nCicMetaSubst.cmx : nCicMetaSubst.cmi
  12 nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \
  13     nCicUnifHint.cmi
  14 nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
  15     nCicUnifHint.cmi
  16 nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \
  17     nCicMetaSubst.cmi nCicCoercion.cmi
  18 nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
  19     nCicMetaSubst.cmx nCicCoercion.cmi
  20 nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi
  21 nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
  22 nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi
  23 nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
  24 nCicRefiner.cmo : nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \
  25     nCicCoercion.cmi nCicRefiner.cmi
  26 nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
  27     nCicCoercion.cmx nCicRefiner.cmi