matita/components/library/.depend

   1 librarian.cmo : \
   2     librarian.cmi
   3 librarian.cmx : \
   4     librarian.cmi
   5 librarian.cmi :
   6 libraryClean.cmo : \
   7     libraryClean.cmi
   8 libraryClean.cmx : \
   9     libraryClean.cmi
  10 libraryClean.cmi :
  11 libraryMisc.cmo : \
  12     libraryMisc.cmi
  13 libraryMisc.cmx : \
  14     libraryMisc.cmi
  15 libraryMisc.cmi :