@Manual{          thmtools,
  date-added    = "2019-10-21 16:21:56 +0200",
  date-modified = "2019-10-21 16:22:14 +0200",
  Title         = "thmtools",
  bdsk-url-1    = "http://ctan.mirror.garr.it/mirrors/CTAN/macros/latex/exptl/thmtools/thmtools.pdf",
  File          = "thmtools (0) - a - a - n.pdf"
}

@Manual{ thmtools, date-added = "2019-10-21 16:21:56 +0200", date-modified = "2019-10-21 16:22:14 +0200", Title = "thmtools", bdsk-url-1 = "http://ctan.mirror.garr.it/mirrors/CTAN/macros/latex/exptl/thmtools/thmtools.pdf", File = "thmtools (0) - a - a - n.pdf" }