NEWS
changeset 64551 79e9587dbcca
parent 64527 49708cffb98d
child 64555 628b271c5b8b
     1.1 --- a/NEWS	Sun Nov 27 13:19:29 2016 +0100
     1.2 +++ b/NEWS	Mon Dec 12 11:33:14 2016 +0100
     1.3 @@ -938,6 +938,9 @@
     1.4  * Session Old_Number_Theory has been removed, after porting remaining
     1.5  theories.
     1.6  
     1.7 +* Session HOL-Types_To_Sets provides an experimental extension of
     1.8 +Higher-Order Logic to allow translation of types to sets.
     1.9 +
    1.10  
    1.11  *** ML ***
    1.12