src/HOL/Old_Number_Theory/ROOT.ML
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory