src/HOL/Old_Number_Theory/document/root.bib
2014-10-07 wenzelm 2014-10-07 more bibtex entries; more antiquotations;