changeset 73009 | 56eae6d161db |
parent 73008 | dacf2598bb27 |
child 73047 | ab9e27da0e85 |
child 73050 | d77bb4441250 |
--- a/NEWS Sun Dec 27 13:52:55 2020 +0100 +++ b/NEWS Sun Dec 27 14:04:16 2020 +0100 @@ -169,7 +169,7 @@ least one bit. INCOMPATIBILITY. * Theory "Word": Bit operations NOT, AND, OR, XOR are based on generic -algebraic bit operations from HOL-Library.Bit_Operations. +algebraic bit operations from theory "HOL-Library.Bit_Operations". INCOMPATIBILITY. * Theory "Word": Most operations on type word are set up for transfer