matita/components/ng_refiner/.depend

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