equal
deleted
inserted
replaced
5 |
5 |
6 Contributions to Isabelle2021 |
6 Contributions to Isabelle2021 |
7 ----------------------------- |
7 ----------------------------- |
8 |
8 |
9 * December 2020: Stepan Holub |
9 * December 2020: Stepan Holub |
10 Contributed lemmas for List |
10 Contributed lemmas for theory HOL.List. |
11 |
11 |
12 * December 2020: Martin Desharnais |
12 * December 2020: Martin Desharnais |
13 Zipperposition 2.0 as external prover for Sledgehammer. |
13 Zipperposition 2.0 as external prover for Sledgehammer. |
14 |
14 |
15 * December 2020: Walter Guttmann |
15 * December 2020: Walter Guttmann |