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
     1 
     2 @book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
     3 publisher={American Mathematical Society},year=1979}