src/HOL/Old_Number_Theory/document/root.bib
author wenzelm
Sat Oct 10 16:26:23 2015 +0200 (2015-10-10)
changeset 61382 efac889fccbc
parent 58623 2db1df2c8467
permissions -rw-r--r--
isabelle update_cartouches;
wenzelm@58623
     1
@Book{davenport92,
wenzelm@58623
     2
  author =	 {H. Davenport},
wenzelm@58623
     3
  title = 	 {The Higher Arithmetic},
wenzelm@58623
     4
  publisher = 	 {Cambridge University Press},
wenzelm@58623
     5
  year = 	 1992
wenzelm@58623
     6
}
wenzelm@58623
     7