src/HOL/document/root.bib
changeset 22367 6860f09242bf
parent 21312 1d39091a3208
child 27367 a75d71c73362
     1.1 --- a/src/HOL/document/root.bib	Tue Feb 27 00:32:52 2007 +0100
     1.2 +++ b/src/HOL/document/root.bib	Tue Feb 27 00:33:49 2007 +0100
     1.3 @@ -1,9 +1,3 @@
     1.4 -@Book{davenport92,
     1.5 -  author =	 {H. Davenport},
     1.6 -  title = 	 {The Higher Arithmetic},
     1.7 -  publisher = 	 {Cambridge University Press},
     1.8 -  year = 	 1992
     1.9 -}
    1.10  
    1.11  @book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
    1.12  publisher={American Mathematical Society},year=1979}
    1.13 \ No newline at end of file