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