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
|
file |
diff |
annotate
|
Tue, 11 Sep 2018 16:21:54 +0100 |
paulson |
A few new results, elimination of duplicates and more use of "pairwise"
|
file |
diff |
annotate
|
Thu, 07 Jun 2018 19:36:12 +0200 |
nipkow |
utilize 'flip'
|
file |
diff |
annotate
|
Wed, 13 Sep 2017 17:40:54 +0200 |
nipkow |
added lemma; zip_with -> map2
|
file |
diff |
annotate
|
Tue, 12 Sep 2017 20:40:46 +0200 |
nipkow |
introduced zip_with
|
file |
diff |
annotate
|
Sat, 22 Apr 2017 22:01:35 +0200 |
wenzelm |
theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:04 +0200 |
haftmann |
more standardized names
|
file |
diff |
annotate
|
Mon, 19 Sep 2016 20:06:21 +0200 |
fleury |
left_distrib ~> distrib_right, right_distrib ~> distrib_left
|
file |
diff |
annotate
|
Wed, 13 Jul 2016 21:23:05 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
Wed, 25 May 2016 11:49:40 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 04 May 2016 10:19:01 +0200 |
hoelzl |
move Stirling numbers from AFP/Discrete_Summation
|
file |
diff |
annotate
|