equal
deleted
inserted
replaced
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 |
9 |
10 Contributions to Isabelle2016-1 |
10 Contributions to Isabelle2016-1 |
11 ------------------------------- |
11 ------------------------------- |
|
12 |
|
13 * December 2016: Ondřej Kunčar, TUM |
|
14 Types_To_Sets: experimental extension of Higher-Order Logic to allow |
|
15 translation of types to sets. |
12 |
16 |
13 * October 2016: Jasmin Blanchette |
17 * October 2016: Jasmin Blanchette |
14 Integration of Nunchaku model finder. |
18 Integration of Nunchaku model finder. |
15 |
19 |
16 * October 2016: Jaime Mendizabal Roche, TUM |
20 * October 2016: Jaime Mendizabal Roche, TUM |