matita/components/ng_cic_content/.depend

   1 interpretations.cmo : \
   2     ncic2astMatcher.cmi \
   3     interpretations.cmi
   4 interpretations.cmx : \
   5     ncic2astMatcher.cmx \
   6     interpretations.cmi
   7 interpretations.cmi :
   8 ncic2astMatcher.cmo : \
   9     ncic2astMatcher.cmi
  10 ncic2astMatcher.cmx : \
  11     ncic2astMatcher.cmi
  12 ncic2astMatcher.cmi :