]> matita.cs.unibo.it Git - helm.git/blob - matita/components/ng_kernel/.depend
...
[helm.git] / matita / components / ng_kernel / .depend
1 nUri.cmi:
2 nReference.cmi: nUri.cmi
3 nCicUtils.cmi: nCic.cmo
4 nCicSubstitution.cmi: nCic.cmo
5 nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo
6 nCicReduction.cmi: nCic.cmo
7 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo
8 nCicUntrusted.cmi: nCic.cmo
9 nCicPp.cmi: nReference.cmi nCic.cmo
10 nCicExtraction.cmi: nCic.cmo
11 nCic.cmo: nUri.cmi nReference.cmi
12 nCic.cmx: nUri.cmx nReference.cmx
13 nUri.cmo: nUri.cmi
14 nUri.cmx: nUri.cmi
15 nReference.cmo: nUri.cmi nReference.cmi
16 nReference.cmx: nUri.cmx nReference.cmi
17 nCicUtils.cmo: nReference.cmi nCic.cmo nCicUtils.cmi
18 nCicUtils.cmx: nReference.cmx nCic.cmx nCicUtils.cmi
19 nCicSubstitution.cmo: nReference.cmi nCicUtils.cmi nCic.cmo \
20     nCicSubstitution.cmi
21 nCicSubstitution.cmx: nReference.cmx nCicUtils.cmx nCic.cmx \
22     nCicSubstitution.cmi
23 nCicEnvironment.cmo: nUri.cmi nReference.cmi nCic.cmo nCicEnvironment.cmi
24 nCicEnvironment.cmx: nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi
25 nCicReduction.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
26     nCicEnvironment.cmi nCic.cmo nCicReduction.cmi
27 nCicReduction.cmx: nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
28     nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
29 nCicTypeChecker.cmo: nUri.cmi nReference.cmi nCicUtils.cmi \
30     nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmo \
31     nCicTypeChecker.cmi
32 nCicTypeChecker.cmx: nUri.cmx nReference.cmx nCicUtils.cmx \
33     nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
34     nCicTypeChecker.cmi
35 nCicUntrusted.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
36     nCicReduction.cmi nCicEnvironment.cmi nCic.cmo nCicUntrusted.cmi
37 nCicUntrusted.cmx: nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
38     nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
39 nCicPp.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \
40     nCicEnvironment.cmi nCic.cmo nCicPp.cmi
41 nCicPp.cmx: nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \
42     nCicEnvironment.cmx nCic.cmx nCicPp.cmi
43 nCicExtraction.cmo: nUri.cmi nReference.cmi nCicUntrusted.cmi \
44     nCicTypeChecker.cmi nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi \
45     nCicEnvironment.cmi nCic.cmo nCicExtraction.cmi
46 nCicExtraction.cmx: nUri.cmx nReference.cmx nCicUntrusted.cmx \
47     nCicTypeChecker.cmx nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx \
48     nCicEnvironment.cmx nCic.cmx nCicExtraction.cmi