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 * December 2019: |
|
10 Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel |
|
11 Extension of lift_bnf to support quotient types. |
8 |
12 |
9 * October 2019: Maximilian Schäffeler |
13 * October 2019: Maximilian Schäffeler |
10 Port of the HOL Light decision procedure for metric spaces. |
14 Port of the HOL Light decision procedure for metric spaces. |
11 |
15 |
12 Contributions to Isabelle2019 |
16 Contributions to Isabelle2019 |