NEWS
changeset 70175 85fb1a585f52
parent 70174 40fdd74b75f3
child 70215 8371a25ca177
     1.1 --- a/NEWS	Tue Apr 16 19:50:19 2019 +0000
     1.2 +++ b/NEWS	Tue Apr 16 19:50:20 2019 +0000
     1.3 @@ -287,6 +287,7 @@
     1.4  
     1.5  * Session HOL-Word:
     1.6    * New theory More_Word as comprehensive entrance point.
     1.7 +  * Merged type class bitss into type class bits.
     1.8    INCOMPATIBILITY.
     1.9  
    1.10