matita/components/ng_kernel/.depend

   1 nCic.cmo : \
   2     nUri.cmi \
   3     nReference.cmi
   4 nCic.cmx : \
   5     nUri.cmx \
   6     nReference.cmx
   7 nCicEnvironment.cmo : \
   8     nUri.cmi \
   9     nReference.cmi \
  10     nCic.cmo \
  11     nCicEnvironment.cmi
  12 nCicEnvironment.cmx : \
  13     nUri.cmx \
  14     nReference.cmx \
  15     nCic.cmx \
  16     nCicEnvironment.cmi
  17 nCicEnvironment.cmi : \
  18     nUri.cmi \
  19     nReference.cmi \
  20     nCic.cmo
  21 nCicPp.cmo : \
  22     nUri.cmi \
  23     nReference.cmi \
  24     nCicSubstitution.cmi \
  25     nCicReduction.cmi \
  26     nCicEnvironment.cmi \
  27     nCic.cmo \
  28     nCicPp.cmi
  29 nCicPp.cmx : \
  30     nUri.cmx \
  31     nReference.cmx \
  32     nCicSubstitution.cmx \
  33     nCicReduction.cmx \
  34     nCicEnvironment.cmx \
  35     nCic.cmx \
  36     nCicPp.cmi
  37 nCicPp.cmi : \
  38     nReference.cmi \
  39     nCic.cmo
  40 nCicReduction.cmo : \
  41     nReference.cmi \
  42     nCicUtils.cmi \
  43     nCicSubstitution.cmi \
  44     nCicEnvironment.cmi \
  45     nCic.cmo \
  46     nCicReduction.cmi
  47 nCicReduction.cmx : \
  48     nReference.cmx \
  49     nCicUtils.cmx \
  50     nCicSubstitution.cmx \
  51     nCicEnvironment.cmx \
  52     nCic.cmx \
  53     nCicReduction.cmi
  54 nCicReduction.cmi : \
  55     nCic.cmo
  56 nCicSubstitution.cmo : \
  57     nCicUtils.cmi \
  58     nCic.cmo \
  59     nCicSubstitution.cmi
  60 nCicSubstitution.cmx : \
  61     nCicUtils.cmx \
  62     nCic.cmx \
  63     nCicSubstitution.cmi
  64 nCicSubstitution.cmi : \
  65     nCic.cmo
  66 nCicTypeChecker.cmo : \
  67     nUri.cmi \
  68     nReference.cmi \
  69     nCicUtils.cmi \
  70     nCicSubstitution.cmi \
  71     nCicReduction.cmi \
  72     nCicEnvironment.cmi \
  73     nCic.cmo \
  74     nCicTypeChecker.cmi
  75 nCicTypeChecker.cmx : \
  76     nUri.cmx \
  77     nReference.cmx \
  78     nCicUtils.cmx \
  79     nCicSubstitution.cmx \
  80     nCicReduction.cmx \
  81     nCicEnvironment.cmx \
  82     nCic.cmx \
  83     nCicTypeChecker.cmi
  84 nCicTypeChecker.cmi : \
  85     nUri.cmi \
  86     nReference.cmi \
  87     nCic.cmo
  88 nCicUntrusted.cmo : \
  89     nReference.cmi \
  90     nCicUtils.cmi \
  91     nCicSubstitution.cmi \
  92     nCicReduction.cmi \
  93     nCicEnvironment.cmi \
  94     nCic.cmo \
  95     nCicUntrusted.cmi
  96 nCicUntrusted.cmx : \
  97     nReference.cmx \
  98     nCicUtils.cmx \
  99     nCicSubstitution.cmx \
 100     nCicReduction.cmx \
 101     nCicEnvironment.cmx \
 102     nCic.cmx \
 103     nCicUntrusted.cmi
 104 nCicUntrusted.cmi : \
 105     nCic.cmo
 106 nCicUtils.cmo : \
 107     nCic.cmo \
 108     nCicUtils.cmi
 109 nCicUtils.cmx : \
 110     nCic.cmx \
 111     nCicUtils.cmi
 112 nCicUtils.cmi : \
 113     nCic.cmo
 114 nReference.cmo : \
 115     nUri.cmi \
 116     nReference.cmi
 117 nReference.cmx : \
 118     nUri.cmx \
 119     nReference.cmi
 120 nReference.cmi : \
 121     nUri.cmi
 122 nUri.cmo : \
 123     nUri.cmi
 124 nUri.cmx : \
 125     nUri.cmi
 126 nUri.cmi :