NEWS
changeset 64555 628b271c5b8b
parent 64543 6b13586ef1a2
parent 64551 79e9587dbcca
child 64593 50c715579715
     1.1 --- a/NEWS	Sat Dec 10 17:22:47 2016 +0100
     1.2 +++ b/NEWS	Mon Dec 12 17:40:06 2016 +0100
     1.3 @@ -949,6 +949,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