| changeset 64551 | 79e9587dbcca |
| parent 64527 | 49708cffb98d |
| child 64555 | 628b271c5b8b |
--- a/NEWS Thu Dec 08 15:11:20 2016 +0100 +++ b/NEWS Mon Dec 12 11:33:14 2016 +0100 @@ -938,6 +938,9 @@ * Session Old_Number_Theory has been removed, after porting remaining theories. +* Session HOL-Types_To_Sets provides an experimental extension of +Higher-Order Logic to allow translation of types to sets. + *** ML ***