src/HOL/document/root.bib
author wenzelm
Tue Feb 27 00:33:49 2007 +0100 (2007-02-27)
changeset 22367 6860f09242bf
parent 21312 1d39091a3208
child 27367 a75d71c73362
permissions -rw-r--r--
tuned document;
nipkow@21312
     1
nipkow@21312
     2
@book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
nipkow@21312
     3
publisher={American Mathematical Society},year=1979}