src/HOL/document/root.bib
2017-10-22 ago derived axiom iffI as a lemma (thanks to Alexander Maletzky)
2014-10-07 ago more bibtex entries;
2008-06-26 ago added dummy citiation
2007-02-27 ago tuned document;
2006-11-12 ago started reorgnization of lattice theories
2005-07-08 ago added Davenport reference