equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to Isabelle2021 |
6 Contributions to Isabelle2021 |
7 ----------------------------- |
7 ----------------------------- |
|
8 |
|
9 * December 2020: Stepan Holub |
|
10 Contributed lemmas for List |
8 |
11 |
9 * December 2020: Martin Desharnais |
12 * December 2020: Martin Desharnais |
10 Zipperposition 2.0 as external prover for Sledgehammer. |
13 Zipperposition 2.0 as external prover for Sledgehammer. |
11 |
14 |
12 * December 2020: Walter Guttmann |
15 * December 2020: Walter Guttmann |