src/HOL/Library/Bit.thy
changeset 48787 ab3e7f40f341
parent 47108 2a1953f0d20d
child 49834 b27bbb021df1