diff -r 3e20defb1e3c -r 79e9587dbcca NEWS
--- 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 ***