equal
deleted
inserted
replaced
3 who is listed as an author in one of the source files of this Isabelle |
3 who is listed as an author in one of the source files of this Isabelle |
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * Autumn 2015: Andreas Lochbihler |
|
10 Bourbaki-Witt fixpoint theorem for increasing functions on |
|
11 chain-complete partial orders. |
8 |
12 |
9 * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl |
13 * Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl |
10 A large number of additional binomial identities. |
14 A large number of additional binomial identities. |
11 |
15 |
12 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel |
16 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel |