matita/components/ng_library/.depend.opt

   1 nCic2OCic.cmi:
   2 oCic2NCic.cmi:
   3 nCicLibrary.cmi:
   4 nCic2OCic.cmo: nCic2OCic.cmi
   5 nCic2OCic.cmx: nCic2OCic.cmi
   6 oCic2NCic.cmo: oCic2NCic.cmi
   7 oCic2NCic.cmx: oCic2NCic.cmi
   8 nCicLibrary.cmo: oCic2NCic.cmi nCic2OCic.cmi nCicLibrary.cmi
   9 nCicLibrary.cmx: oCic2NCic.cmx nCic2OCic.cmx nCicLibrary.cmi