matita/components/library/.depend.opt

   1 librarian.cmi:
   2 libraryMisc.cmi:
   3 libraryClean.cmi:
   4 librarian.cmo: librarian.cmi
   5 librarian.cmx: librarian.cmi
   6 libraryMisc.cmo: libraryMisc.cmi
   7 libraryMisc.cmx: libraryMisc.cmi
   8 libraryClean.cmo: libraryClean.cmi
   9 libraryClean.cmx: libraryClean.cmi