author | wenzelm |
Sun, 27 Dec 2020 14:04:16 +0100 | |
changeset 73009 | 56eae6d161db |
parent 73008 | dacf2598bb27 |
child 73010 | a569465f8b57 |
--- 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