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 : nCicUtils.cmi nCic.cmo nCicSubstitution.cmi
  17 nCicSubstitution.cmx : nCicUtils.cmx nCic.cmx nCicSubstitution.cmi
  18 nCicSubstitution.cmi : nCic.cmo
  19 nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \
  20     nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmo \
  21     nCicTypeChecker.cmi
  22 nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
  23     nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
  24     nCicTypeChecker.cmi
  25 nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmo
  26 nCicUntrusted.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
  27     nCicReduction.cmi nCicEnvironment.cmi nCic.cmo nCicUntrusted.cmi
  28 nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
  29     nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
  30 nCicUntrusted.cmi : nCic.cmo
  31 nCicUtils.cmo : nCic.cmo nCicUtils.cmi
  32 nCicUtils.cmx : nCic.cmx nCicUtils.cmi
  33 nCicUtils.cmi : nCic.cmo
  34 nReference.cmo : nUri.cmi nReference.cmi
  35 nReference.cmx : nUri.cmx nReference.cmi
  36 nReference.cmi : nUri.cmi
  37 nUri.cmo : nUri.cmi
  38 nUri.cmx : nUri.cmi
  39 nUri.cmi :