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