src/HOL/document/root.bib

- completed the list of thms for supp_atm
- cleaned up the way how thms are collected under single names

@Book{davenport92,
  author =	 {H. Davenport},
  title = 	 {The Higher Arithmetic},
  publisher = 	 {Cambridge University Press},
  year = 	 1992
}