src/HOL/Library/Stirling.thy
23 months ago nipkow 2017-09-13 added lemma; zip_with -> map2
23 months ago nipkow 2017-09-12 introduced zip_with
2017-04-22 wenzelm 2017-04-22 theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-16 haftmann 2016-10-16 more standardized names
2016-09-19 fleury 2016-09-19 left_distrib ~> distrib_right, right_distrib ~> distrib_left
2016-07-13 wenzelm 2016-07-13 misc tuning and modernization;
2016-05-25 wenzelm 2016-05-25 isabelle update_cartouches -c -t;
2016-05-04 hoelzl 2016-05-04 move Stirling numbers from AFP/Discrete_Summation