src/HOL/Old_Number_Theory/IntFact.thy
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2010-03-02 krauss 2010-03-02 killed more recdefs
2009-09-01 haftmann 2009-09-01 some reorganization of number theory