src/HOL/Word/WordBitwise.thy
changeset 28562 4e74209f113e
parent 26827 a62f8db42f4a
child 29235 2d62b637fa80