src/HOL/Library/Stirling.thy
Wed, 10 Apr 2019 21:29:32 +0100 paulson Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
Tue, 11 Sep 2018 16:21:54 +0100 paulson A few new results, elimination of duplicates and more use of "pairwise"
Thu, 07 Jun 2018 19:36:12 +0200 nipkow utilize 'flip'
Wed, 13 Sep 2017 17:40:54 +0200 nipkow added lemma; zip_with -> map2
Tue, 12 Sep 2017 20:40:46 +0200 nipkow introduced zip_with
Sat, 22 Apr 2017 22:01:35 +0200 wenzelm theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Sun, 16 Oct 2016 09:31:04 +0200 haftmann more standardized names
Mon, 19 Sep 2016 20:06:21 +0200 fleury left_distrib ~> distrib_right, right_distrib ~> distrib_left
Wed, 13 Jul 2016 21:23:05 +0200 wenzelm misc tuning and modernization;
Wed, 25 May 2016 11:49:40 +0200 wenzelm isabelle update_cartouches -c -t;
Wed, 04 May 2016 10:19:01 +0200 hoelzl move Stirling numbers from AFP/Discrete_Summation
less more (0) tip