]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/acic_content/.depend
dependences update
[helm.git] / helm / software / components / acic_content / .depend
1 content.cmi :
2 acic2content.cmi : content.cmi
3 content2cic.cmi : content.cmi
4 cicNotationUtil.cmi : cicNotationPt.cmo
5 cicNotationEnv.cmi : cicNotationPt.cmo
6 cicNotationPp.cmi : cicNotationPt.cmo cicNotationEnv.cmi
7 acic2astMatcher.cmi : cicNotationPt.cmo
8 termAcicContent.cmi : cicNotationPt.cmo
9 cicNotationPt.cmo :
10 cicNotationPt.cmx :
11 content.cmo : content.cmi
12 content.cmx : content.cmi
13 acic2content.cmo : content.cmi acic2content.cmi
14 acic2content.cmx : content.cmx acic2content.cmi
15 content2cic.cmo : content.cmi content2cic.cmi
16 content2cic.cmx : content.cmx content2cic.cmi
17 cicNotationUtil.cmo : cicNotationPt.cmo cicNotationUtil.cmi
18 cicNotationUtil.cmx : cicNotationPt.cmx cicNotationUtil.cmi
19 cicNotationEnv.cmo : cicNotationUtil.cmi cicNotationPt.cmo \
20     cicNotationEnv.cmi
21 cicNotationEnv.cmx : cicNotationUtil.cmx cicNotationPt.cmx \
22     cicNotationEnv.cmi
23 cicNotationPp.cmo : cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi
24 cicNotationPp.cmx : cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi
25 acic2astMatcher.cmo : cicNotationUtil.cmi cicNotationPt.cmo \
26     cicNotationPp.cmi acic2astMatcher.cmi
27 acic2astMatcher.cmx : cicNotationUtil.cmx cicNotationPt.cmx \
28     cicNotationPp.cmx acic2astMatcher.cmi
29 termAcicContent.cmo : cicNotationUtil.cmi cicNotationPt.cmo \
30     cicNotationPp.cmi acic2content.cmi acic2astMatcher.cmi \
31     termAcicContent.cmi
32 termAcicContent.cmx : cicNotationUtil.cmx cicNotationPt.cmx \
33     cicNotationPp.cmx acic2content.cmx acic2astMatcher.cmx \
34     termAcicContent.cmi