matita/components/ng_kernel/.depend.opt

   1 nCic.cmx : nUri.cmx nReference.cmx
   2 nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi
   3 nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmx
   4 nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \
   5     nCicEnvironment.cmx nCic.cmx nCicPp.cmi
   6 nCicPp.cmi : nReference.cmi nCic.cmx
   7 nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
   8     nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
   9 nCicReduction.cmi : nCic.cmx
  10 nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \
  11     nCicSubstitution.cmi
  12 nCicSubstitution.cmi : nCic.cmx
  13 nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
  14     nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
  15     nCicTypeChecker.cmi
  16 nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx
  17 nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
  18     nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
  19 nCicUntrusted.cmi : nCic.cmx
  20 nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi
  21 nCicUtils.cmi : nCic.cmx
  22 nReference.cmx : nUri.cmx nReference.cmi
  23 nReference.cmi : nUri.cmi
  24 nUri.cmx : nUri.cmi
  25 nUri.cmi :