src/HOL/Word/WordBitwise.thy
changeset 66787 64b47495676d
parent 66446 aeb8b8fe94d0
child 67120 491fd7f0b5df