src/HOL/Old_Number_Theory/BijectionRel.thy
2009-09-01 haftmann 2009-09-01 some reorganization of number theory