matita/components/ng_kernel/.depend

   1 nCic.cmo : nUri.cmi nReference.cmi
   2 nCic.cmx : nUri.cmx nReference.cmx
   3 nCicEnvironment.cmo : nUri.cmi nReference.cmi nCic.cmo nCicEnvironment.cmi
   4 nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi
   5 nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmo
   6 nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \
   7     nCicEnvironment.cmi nCic.cmo nCicPp.cmi
   8 nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \
   9     nCicEnvironment.cmx nCic.cmx nCicPp.cmi
  10 nCicPp.cmi : nReference.cmi nCic.cmo
  11 nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
  12     nCicEnvironment.cmi nCic.cmo nCicReduction.cmi
  13 nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
  14     nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
  15 nCicReduction.cmi : nCic.cmo
  16 nCicSubstitution.cmo : nReference.cmi nCicUtils.cmi nCic.cmo \
  17     nCicSubstitution.cmi
  18 nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \
  19     nCicSubstitution.cmi
  20 nCicSubstitution.cmi : nCic.cmo
  21 nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \
  22     nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmo \
  23     nCicTypeChecker.cmi
  24 nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
  25     nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
  26     nCicTypeChecker.cmi
  27 nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmo
  28 nCicUntrusted.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
  29     nCicReduction.cmi nCicEnvironment.cmi nCic.cmo nCicUntrusted.cmi
  30 nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
  31     nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
  32 nCicUntrusted.cmi : nCic.cmo
  33 nCicUtils.cmo : nReference.cmi nCic.cmo nCicUtils.cmi
  34 nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi
  35 nCicUtils.cmi : nCic.cmo
  36 nReference.cmo : nUri.cmi nReference.cmi
  37 nReference.cmx : nUri.cmx nReference.cmi
  38 nReference.cmi : nUri.cmi
  39 nUri.cmo : nUri.cmi
  40 nUri.cmx : nUri.cmi
  41 nUri.cmi :