src/HOL/Old_Number_Theory/document/root.tex
2014-10-08 wenzelm 2014-10-08 proper bibliography;
2010-12-03 wenzelm 2010-12-03 recoded latin1 as utf8; use textcomp for some text symbols where it appears appropriate;
2009-09-01 haftmann 2009-09-01 tuned document
2009-09-01 haftmann 2009-09-01 some reorganization of number theory