src/HOL/document/root.bib
changeset 21312 1d39091a3208
parent 16764 ca81a99c5bc1
child 22367 6860f09242bf
equal deleted inserted replaced
21311:3556301c18cd 21312:1d39091a3208
     2   author =	 {H. Davenport},
     2   author =	 {H. Davenport},
     3   title = 	 {The Higher Arithmetic},
     3   title = 	 {The Higher Arithmetic},
     4   publisher = 	 {Cambridge University Press},
     4   publisher = 	 {Cambridge University Press},
     5   year = 	 1992
     5   year = 	 1992
     6 }
     6 }
       
     7 
       
     8 @book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
       
     9 publisher={American Mathematical Society},year=1979}