src/HOL/document/root.bib
author haftmann
Fri, 21 Oct 2005 09:08:42 +0200
changeset 17943 48ec47217fe2
parent 16764 ca81a99c5bc1
child 21312 1d39091a3208
permissions -rw-r--r--
added default distinfo.mak

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