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;
     1 @Book{davenport92,
     2   author =	 {H. Davenport},
     3   title = 	 {The Higher Arithmetic},
     4   publisher = 	 {Cambridge University Press},
     5   year = 	 1992
     6 }
     7