src/HOL/Library/Stirling.thy
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