matita/components/library/.depend

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