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 Isabelle2016-1 |
6 Contributions to Isabelle2016-1 |
7 ------------------------------- |
7 ------------------------------- |
|
8 |
|
9 * December 2016: Ondřej Kunčar, TUM |
|
10 Types_To_Sets: experimental extension of Higher-Order Logic to allow |
|
11 translation of types to sets. |
8 |
12 |
9 * October 2016: Jasmin Blanchette |
13 * October 2016: Jasmin Blanchette |
10 Integration of Nunchaku model finder. |
14 Integration of Nunchaku model finder. |
11 |
15 |
12 * October 2016: Jaime Mendizabal Roche, TUM |
16 * October 2016: Jaime Mendizabal Roche, TUM |