equal
deleted
inserted
replaced
13 Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel |
13 Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel |
14 Extension of lift_bnf to support quotient types. |
14 Extension of lift_bnf to support quotient types. |
15 |
15 |
16 * October 2019: Maximilian Schäffeler |
16 * October 2019: Maximilian Schäffeler |
17 Port of the HOL Light decision procedure for metric spaces. |
17 Port of the HOL Light decision procedure for metric spaces. |
|
18 |
|
19 * January 2020: LC Paulson |
|
20 The full finite Ramsey's theorem and elements of finite and infinite |
|
21 Ramsey theory. |
|
22 |
|
23 * February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf |
|
24 Simplified, generalised version of ZF/Constructible. |
|
25 |
18 |
26 |
19 |
27 |
20 Contributions to Isabelle2019 |
28 Contributions to Isabelle2019 |
21 ----------------------------- |
29 ----------------------------- |
22 |
30 |