src/HOL/Old_Number_Theory/document/root.bib
author wenzelm
Sun Sep 18 20:33:48 2016 +0200 (2016-09-18)
changeset 63915 bab633745c7f
parent 58623 2db1df2c8467
permissions -rw-r--r--
tuned proofs;
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