matita/components/cic/.depend.opt

   1 cicUniv.cmi:
   2 cicUtil.cmi: cic.cmx
   3 cicPp.cmi: cic.cmx
   4 cic.cmo: cicUniv.cmi
   5 cic.cmx: cicUniv.cmx
   6 cicUniv.cmo: cicUniv.cmi
   7 cicUniv.cmx: cicUniv.cmi
   8 cicUtil.cmo: cicUniv.cmi cic.cmx cicUtil.cmi
   9 cicUtil.cmx: cicUniv.cmx cic.cmx cicUtil.cmi
  10 cicPp.cmo: cic.cmx cicPp.cmi
  11 cicPp.cmx: cic.cmx cicPp.cmi