src/HOL/Number_Theory/Binomial.thy
2010-04-26 haftmann 2010-04-26 dropped group_simps, ring_simps, field_eq_simps
2010-03-11 haftmann 2010-03-11 deleted default simp rule card.insert
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
2009-09-01 haftmann 2009-09-01 some reorganization of number theory