src/HOL/Word/BitSyntax.thy
changeset 28263 69eaa97e7e96
parent 26559 799983936aad
child 29608 564ea783ace8