changeset 64555 | 628b271c5b8b |
parent 64439 | 2bafda87b524 |
parent 64551 | 79e9587dbcca |
child 65041 | 2525e680f94f |
--- a/CONTRIBUTORS Sat Dec 10 17:22:47 2016 +0100 +++ b/CONTRIBUTORS Mon Dec 12 17:40:06 2016 +0100 @@ -10,6 +10,10 @@ Contributions to Isabelle2016-1 ------------------------------- +* December 2016: Ondřej Kunčar, TUM + Types_To_Sets: experimental extension of Higher-Order Logic to allow + translation of types to sets. + * October 2016: Jasmin Blanchette Integration of Nunchaku model finder.