src/HOL/Algebra/document/root.bib
2013-03-25 ballarin 2013-03-25 Remove obsolete URLs in documentation of HOL-Algebra.
2004-05-06 wenzelm 2004-05-06 tuned document;