| changeset 21312 | 1d39091a3208 |
| parent 16764 | ca81a99c5bc1 |
| child 22367 | 6860f09242bf |
--- a/src/HOL/document/root.bib Sat Nov 11 23:58:46 2006 +0100 +++ b/src/HOL/document/root.bib Sun Nov 12 19:22:10 2006 +0100 @@ -4,3 +4,6 @@ publisher = {Cambridge University Press}, year = 1992 } + +@book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory}, +publisher={American Mathematical Society},year=1979} \ No newline at end of file