src/HOL/document/root.bib
2007-02-27 wenzelm 2007-02-27 tuned document;
2006-11-12 nipkow 2006-11-12 started reorgnization of lattice theories
2005-07-08 nipkow 2005-07-08 added Davenport reference