--- a/NEWS Tue Apr 16 19:50:19 2019 +0000 +++ b/NEWS Tue Apr 16 19:50:20 2019 +0000 @@ -287,6 +287,7 @@ * Session HOL-Word: * New theory More_Word as comprehensive entrance point. + * Merged type class bitss into type class bits. INCOMPATIBILITY.