src/HOL/document/root.bib
author haftmann
Wed Sep 26 20:27:55 2007 +0200 (2007-09-26)
changeset 24728 e2b3a1065676
parent 22367 6860f09242bf
child 27367 a75d71c73362
permissions -rw-r--r--
moved Finite_Set before Datatype
nipkow@21312
     1
nipkow@21312
     2
@book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
nipkow@21312
     3
publisher={American Mathematical Society},year=1979}