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 this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * June 2022: Jan van Brügge, TU München |
|
10 Strict cardinality bounds for BNFs. |
8 |
11 |
9 * April - August 2021: Denis Paluca and Fabian Huch, TU München |
12 * April - August 2021: Denis Paluca and Fabian Huch, TU München |
10 Various improvements to Isabelle/VSCode. |
13 Various improvements to Isabelle/VSCode. |
11 |
14 |
12 * March 2021: Florian Haftmann, TU München |
15 * March 2021: Florian Haftmann, TU München |