src/HOL/Word/Bits.thy
changeset 69929 b979e3044d8e
parent 65363 5eb619751b14
child 70175 85fb1a585f52
equal deleted inserted replaced
69928:3ed262d72468 69929:b979e3044d8e