matita/components/ng_kernel/.depend.opt

   1 nCic.cmx : \
   2     nUri.cmx \
   3     nReference.cmx
   4 nCicEnvironment.cmx : \
   5     nUri.cmx \
   6     nReference.cmx \
   7     nCic.cmx \
   8     nCicEnvironment.cmi
   9 nCicEnvironment.cmi : \
  10     nUri.cmi \
  11     nReference.cmi \
  12     nCic.cmx
  13 nCicPp.cmx : \
  14     nUri.cmx \
  15     nReference.cmx \
  16     nCicSubstitution.cmx \
  17     nCicReduction.cmx \
  18     nCicEnvironment.cmx \
  19     nCic.cmx \
  20     nCicPp.cmi
  21 nCicPp.cmi : \
  22     nReference.cmi \
  23     nCic.cmx
  24 nCicReduction.cmx : \
  25     nReference.cmx \
  26     nCicUtils.cmx \
  27     nCicSubstitution.cmx \
  28     nCicEnvironment.cmx \
  29     nCic.cmx \
  30     nCicReduction.cmi
  31 nCicReduction.cmi : \
  32     nCic.cmx
  33 nCicSubstitution.cmx : \
  34     nCicUtils.cmx \
  35     nCic.cmx \
  36     nCicSubstitution.cmi
  37 nCicSubstitution.cmi : \
  38     nCic.cmx
  39 nCicTypeChecker.cmx : \
  40     nUri.cmx \
  41     nReference.cmx \
  42     nCicUtils.cmx \
  43     nCicSubstitution.cmx \
  44     nCicReduction.cmx \
  45     nCicEnvironment.cmx \
  46     nCic.cmx \
  47     nCicTypeChecker.cmi
  48 nCicTypeChecker.cmi : \
  49     nUri.cmi \
  50     nReference.cmi \
  51     nCic.cmx
  52 nCicUntrusted.cmx : \
  53     nReference.cmx \
  54     nCicUtils.cmx \
  55     nCicSubstitution.cmx \
  56     nCicReduction.cmx \
  57     nCicEnvironment.cmx \
  58     nCic.cmx \
  59     nCicUntrusted.cmi
  60 nCicUntrusted.cmi : \
  61     nCic.cmx
  62 nCicUtils.cmx : \
  63     nCic.cmx \
  64     nCicUtils.cmi
  65 nCicUtils.cmi : \
  66     nCic.cmx
  67 nReference.cmx : \
  68     nUri.cmx \
  69     nReference.cmi
  70 nReference.cmi : \
  71     nUri.cmi
  72 nUri.cmx : \
  73     nUri.cmi
  74 nUri.cmi :