src/HOL/Bit_Operations.thy
changeset 78659 b5f3d1051b13
parent 75876 647879691c1c
child 78937 5e6b195eee83
equal deleted inserted replaced
78658:71536ae52b16 78659:b5f3d1051b13