src/HOL/document/root.bib
2008-06-26 haftmann 2008-06-26 added dummy citiation
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